allowed to fail job testing coq-native

coq · Dec 10, 2020 · 8bf2bb6 · 8bf2bb6
1 parent 7197ca8
commit 8bf2bb6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -72,6 +72,15 @@ opam-build:4.07.1:
   except:
     - web
 
+opam-build:4.07.1:coq-native:
+  extends: .opam-build
+  variables:
+    COMPILER: "4.07.1"
+    EXTRA_OPAM_OPTION: "coq-native"
+  except:
+    - web
+  allow_failure: true
+
 opam-build:4.09.0:
   extends: .opam-build
   variables: