diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-08-21 19:51:35 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-08-21 19:51:35 -0400 |
commit | 4ffb18ea30fde44d867acfff314485e4700ab702 (patch) | |
tree | 527b3e5b054192cf5cf7450d69d746118f45af67 | |
parent | a2a0e6f3bb2d02a9347dec4c7c4f6d4480bc2421 (diff) | |
download | haskell-4ffb18ea30fde44d867acfff314485e4700ab702.tar.gz |
gitlab-ci: Bump Docker images revision
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4391bff20d..344b6e009c 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: cefaee3c742af193e0f7783f87edb0d35374515c + DOCKER_REV: e517150438cd9df9564fb91adc4b42e2667b2bc1 # Sequential version number capturing the versions of all tools fetched by # .gitlab/win32-init.sh. |