Skip to content

.gitlab-ci.yml: update for shared runner [ci skip]

Ansgar Burchardt requested to merge ansgar/dune-pdelab:feature/shared-ci-runner into master

Merge request reports