From f65e609d3fb1b040eb68fabcd572c06a48319de3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Floure?= <timothee.floure@posteo.net>
Date: Fri, 6 Dec 2019 07:48:30 +0100
Subject: [PATCH] CI build image hotfix for newInterpreter

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 55ae1e1..0aac4eb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -7,7 +7,7 @@ stages:
 
 compile:
   stage: build
-  image: lampepfl/moocs-dotty:2019-10-16
+  image: registry.gitlab.com/fnux/cs210-grading-images/progfun2-interpreter-build:latest
   except:
     - tags
   tags: