Update to upstream changes
Compare changes
- Lisa Julia Nebel authored
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.
+ 6
− 6
@@ -29,33 +29,33 @@ before_script: &before
@@ -63,7 +63,7 @@ dune:git parmg gcc: