[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.
See https://gitlab.dune-project.org/joe/pacxx-docker/issues/25
Alternatively, just rebuild pacxx from scratch, even for just the samples.