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: []