Skip to content
Snippets Groups Projects
Commit f5a93cd9 authored by Lisa Julia Nebel's avatar Lisa Julia Nebel Committed by Sander, Oliver
Browse files

Update the image addresses in .gitlab-ci.yml

From

  duneci/dune:***       (from Docker Hub)

to

  registry.dune-project.org/docker/ci/dune:***

(from the Dune homepage).  The mirror at Docker Hub is not always
up-to-date.
parent c524447f
Branches
Tags
Loading
Checking pipeline status