From 6bfbd278803e14ddd8c74ae582e76607cca69591 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Tue, 31 Mar 2020 20:28:50 +0200
Subject: do not run check-admitted always

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

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ed3cb261..1f854fc3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,6 +11,14 @@ check-admitted:
   script:
     - ./config_x86_64.sh
     - make check-admitted
+  rules:
+    - if: '$CI_COMMIT_BRANCH == "mppa-work"'
+      when: always
+    - if: '$CI_COMMIT_BRANCH == "mppa-k1c"'
+      when: always
+    - if: '$CI_COMMIT_BRANCH == "master"'
+      when: always
+    - when: manual
     
 build_x86_64:
   stage: build
-- 
cgit