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 /dev/ci/ci-basic-overlay.sh | |
| 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.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions