Try running fiat-crypto on large runners

SkySkimmer · Sep 25, 2023 · b539ea9 · b539ea9
1 parent 6ff90d8
commit b539ea9
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -651,8 +651,10 @@ library:ci-fcsl_pcm:
 
 library:ci-fiat_crypto:
   extends: .ci-template-flambda
+  extends: .large-tags
   variables:
     COQEXTRAFLAGS: "-async-proofs-tac-j 0"
+    NJOBS: "4"
   needs:
   - build:edge+flambda
   - library:ci-coqprime

diff --git a/dev/ci/gitlab-modes/tagged-runners.yml b/dev/ci/gitlab-modes/tagged-runners.yml
@@ -1,3 +1,7 @@
 .auto-use-tags:
   tags:
     - $TAGGED_RUNNERS
+
+.large-tags:
+  tags:
+    - large
diff --git a/dev/ci/gitlab-modes/untagged-runners.yml b/dev/ci/gitlab-modes/untagged-runners.yml
@@ -1,2 +1,5 @@
 .auto-use-tags:
   tags: []
+
+.large-tags:
+  tags: []