Update .gitlab-ci.yml
authorOleg Grenrus <oleg.grenrus@iki.fi>
Mon, 25 Feb 2019 08:33:56 +0000 (10:33 +0200)
committerOleg Grenrus <oleg.grenrus@iki.fi>
Mon, 25 Feb 2019 08:33:56 +0000 (10:33 +0200)
.gitlab-ci.yml

index ec8ed5b..ce8559e 100644 (file)
@@ -1,5 +1,8 @@
+variables:
+  DOCKER_REV: 6d19c3adc1f5c28c82aed8c5b1ac40931ac60f3f
+
 validate:
-  image: ghcci/x86_64-linux-deb9:0.2
+  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb9:$DOCKER_REV"
   before_script:
     - git clean -xdf
     - sudo apt install -y time