Skip to content

[CI] Use a common setup

Dr. Jorrit Fahlke requested to merge use-common-ci into master

Put most stuff into ci-main.yml, and include that from .gitlab-ci.yml. This means I can automatically verify the common stuff is up-to-date.

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

Merge request reports