From b6a939777f05da51cf1c9ba054e7539c449a1b12 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Mon, 18 Mar 2019 17:11:04 +0100
Subject: [ci] Guard broken jobs under an `UNRELIABLE = enabled` variable.

This way, we can opt out of these development in our personal
pipelines, so we don't risk being throttled by Gitlab.
---
 .gitlab-ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 309044a1e9..8dafb8d5fd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -253,6 +253,9 @@ build:base+async:
     COQ_EXTRA_CONF: "-native-compiler yes -coqide opt"
     COQUSERFLAGS: "-async-proofs on"
   allow_failure: true # See https://github.com/coq/coq/issues/9658
+  only:
+    variables:
+      - $UNRELIABLE =~ /enabled/
 
 build:quick:
   extends: .build-template
@@ -260,6 +263,9 @@ build:quick:
     COQ_EXTRA_CONF: "-native-compiler no"
     QUICK: "1"
   allow_failure: true # See https://github.com/coq/coq/issues/9637
+  only:
+    variables:
+      - $UNRELIABLE =~ /enabled/
 
 windows64:
   extends: .windows-template
@@ -506,6 +512,10 @@ test-suite:base+async:
     - build:base
   variables:
     COQFLAGS: "-async-proofs on"
+  allow_failure: true
+  only:
+    variables:
+      - $UNRELIABLE =~ /enabled/
 
 validate:base:
   extends: .validate-template
@@ -531,6 +541,9 @@ validate:quick:
   extends: .validate-template
   dependencies:
     - build:quick
+  only:
+    variables:
+      - $UNRELIABLE =~ /enabled/
 
 # Libraries are by convention the projects that depend on Coq
 # but not on its ML API
-- 
cgit v1.2.3