CI: disable coq-master job on release branches and allow it to fail

jasmin-lang · Jul 9, 2024 · 1dce721 · 1dce721
1 parent a2f2f32
commit 1dce721
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -69,6 +69,9 @@ coq-proof:
 
 coq-master:
   stage: prove
+  allow_failure: true
+  rules:
+    - if: $CI_COMMIT_BRANCH !~ /^release-/
   variables:
     EXTRA_NIX_ARGUMENTS: --arg coqDeps true --arg coqMaster true
   extends: .common