diff options
| author | Emilio Jesus Gallego Arias | 2019-12-24 13:09:10 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-12-24 13:09:10 +0100 |
| commit | f64a18a962e6941caa0195e09312a6243edf75ce (patch) | |
| tree | fb9fe42072a378afdffe76e0491910b61c1b63e1 | |
| parent | 23eb6e3805738ad244f37e73c34e0488dc9c71f8 (diff) | |
[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.
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
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 |