From f64a18a962e6941caa0195e09312a6243edf75ce Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 24 Dec 2019 13:09:10 +0100
Subject: [ci] [gitlab] [bedrock] Build bedrock with 1 core

Most workers these days have 1 core, and building bedrock with 2 cores
in that setup seems to be too memory stressful.
---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 956d74c8c1..3a626796a6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -578,6 +578,8 @@ library:ci-bedrock2:
     name: "$CI_JOB_NAME"
     paths:
       - _build_ci
+  variables:
+    NJOBS: "1"
 
 library:ci-color:
   extends: .ci-template-flambda
-- 
cgit v1.2.3