gitlab-ci: Split build into two halves

Authored by bgamari on Dec 19 2018, 10:49 AM.

Description

gitlab-ci: Split build into two halves

Currently we are having quite some trouble keeping up with our build volume due
to the number of configurations we have. I've split the pipeline into two
halves:

  • build, which builds just vanilla deb9-linux with make and hadrian
  • full-build, which builds everything else

This will trade-off some latency to more efficient use of our builders.

Details

Committed
bgamariDec 19 2018, 1:05 PM
Parents
rGHC9fe304180472: gitlab-ci: Fix locale on Darwin only
Branches
Unknown
Tags
Unknown