Skip to content

[CI] use the test parts of ci-main.yml

See https://gitlab.dune-project.org/joe/pacxx-docker/issues/25

Alternatively, just rebuild pacxx from scratch, even for just the samples.