Loading
[CI] Make pacxx-runtime the authoritative place for ci-main.yml
See https://gitlab.dune-project.org/joe/pacxx-docker/issues/30
Copied from pacxx-runtime!38
See https://gitlab.dune-project.org/joe/pacxx-docker/issues/30
Copied from pacxx-runtime!38