-
- Downloads
Update the image addresses in .gitlab-ci.yml
From duneci/dune:*** (the official Docker hub) to registry.dune-project.org/docker/ci/dune:*** Our mirror at the Docker hub seems to be unreliable, so let's use the images straight from the source.
Loading
Please register or sign in to comment