Skip to content

.gitlab-ci.yml: test with dune-parmg installed and other configurations

Ansgar Burchardt requested to merge ansgar/dune-gfe:ci-with-dune-parmg into master

Merge request reports