From 746cee9d2ea090c0b91dc358844f3456b8e91da8 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 31 Mar 2020 19:22:26 +0200
Subject: move check-admitted elsewhere

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

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7d4578ef..ed3cb261 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,11 +1,15 @@
 stages:
-  - check-admitted
   - build
 
 check-admitted:
-  stage: check-admitted
+  stage: build
   image: "coqorg/coq"
+  before_script:
+    - opam switch 4.07.1+flambda
+    - eval `opam config env`
+    - opam install -y menhir
   script:
+    - ./config_x86_64.sh
     - make check-admitted
     
 build_x86_64:
-- 
cgit