From b539ea9c6a90c3ec21492d7dc16177bc30f1fcb3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= <gaetan.gilbert@skyskimmer.net>
Date: Mon, 25 Sep 2023 14:17:43 +0200
Subject: [PATCH] Try running fiat-crypto on large runners

---
 .gitlab-ci.yml                           | 2 ++
 dev/ci/gitlab-modes/tagged-runners.yml   | 4 ++++
 dev/ci/gitlab-modes/untagged-runners.yml | 3 +++
 3 files changed, 9 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8900bc764eb81..37a87267ada00 100644
--- 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
index 7d80135b3f4bb..e96aa1e7cd2fd 100644
--- 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
index 652c18e75634d..b1e5b0daa97c0 100644
--- 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: []