Nightly tests broken.
There seems to be a issue with some of the configuratuion, see https://gitlab.dune-project.org/infrastructure/dune-nightly-test/-/pipelines. It's hard to see what exactly the problem is. It looks like a DUNE version mixup, but why?