From 98eb615eacc9595da148ae2ba748f93c717566c0 Mon Sep 17 00:00:00 2001
From: Richard Eisenberg <rae@richarde.dev>
Date: Wed, 24 Jul 2019 15:14:39 -0400
Subject: [PATCH] CI

---
 .gitlab-ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b9f61c3..12415b6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,3 +1,9 @@
+variables:
+  GIT_SSL_NO_VERIFY: "1"
+
+  # Commit of ghc/ci-images repository from which to pull Docker images
+  DOCKER_REV: e517150438cd9df9564fb91adc4b42e2667b2bc1
+
 hello:
   script:
     - echo "Hello, world!"
-- 
GitLab