diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 76bd9da77e82fde440679d8564e401a5ec5de8c2..ae41dd0c7501b7f99d343fe07d7964a32c8ef6e4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,7 +2,7 @@ variables: GIT_SSL_NO_VERIFY: "1" # Commit of ghc/ci-images repository from which to pull Docker images - DOCKER_REV: cf1da0b5efda2f751e56c2f1ce9ff53447ae17bc + DOCKER_REV: 6d19c3adc1f5c28c82aed8c5b1ac40931ac60f3f before_script: - python3 .gitlab/fix-submodules.py