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
Activity
@osander: As discussed: update the addresses
See !38 (closed)
mentioned in merge request !38 (closed)
mentioned in commit 82340f3e
Please register or sign in to reply