Skip to content

Update the image addresses in .gitlab-ci.yml from "duneci/dune:***" to...

Update the image addresses in .gitlab-ci.yml from "duneci/dune:" to "registry.dune-project.org/docker/ci/dune:", so the dokcer-images are fetched from the official dune-ci

Merge request reports