From 00b000ac303bf41434fae2765d10b0b719260d0c Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 31 Mar 2020 19:20:05 +0200
Subject: forgot image

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

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4c00848f..7d4578ef 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,7 @@ stages:
 
 check-admitted:
   stage: check-admitted
+  image: "coqorg/coq"
   script:
     - make check-admitted
     
-- 
cgit