CI setup does not allow update of submodules to be tested
I have pushed a feature branch that updates submodules here: !169 (merged) Unfortunately, the current CI setup does not allow such commits to be tested.
Error log: https://gitlab.dune-project.org/dominic/dune-perftool/-/jobs/15706
cc @joe
Edited by Dominic Kempf