From aad09479f2ae3e008cbe38ca4fa0e8e3e04daec9 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 31 Mar 2020 19:18:49 +0200
Subject: add check-admitted

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

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 79a32b25..4c00848f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,12 @@
 stages:
+  - check-admitted
   - build
 
+check-admitted:
+  stage: check-admitted
+  script:
+    - make check-admitted
+    
 build_x86_64:
   stage: build
   image: "coqorg/coq"
-- 
cgit