try 405

coq · Dec 13, 2020 · 5dac11f · 5dac11f
1 parent eb5c8c2
commit 5dac11f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -65,6 +65,15 @@ opam-build:4.05.0:
   except:
     - web
 
+opam-build:4.05.0:coq-native:
+  extends: .opam-build
+  variables:
+    COMPILER: "4.05.0"
+    EXTRA_OPAM_OPTION: "coq-native"
+  except:
+    - web
+  allow_failure: true
+
 opam-build:4.07.1:
   extends: .opam-build
   variables: