Test git submodule on commit
Some checks reported errors
gitea/real_analysis/pipeline/head Something is wrong with the build of this commit

This commit is contained in:
2024-06-18 10:55:23 +02:00
parent 6fbf6273ea
commit 603241fce5