diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2018-12-19 11:49:25 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-19 14:05:49 -0500 |
| commit | 68d6a71646de52096ebc196320332a2d98daeb47 (patch) | |
| tree | a70103581d84d0a1ba51949f84491ab2b0e96bee /compiler | |
| parent | 9fe304180472da17f1c1d67b24ab12281cc9fd70 (diff) | |
| download | haskell-68d6a71646de52096ebc196320332a2d98daeb47.tar.gz | |
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.
Diffstat (limited to 'compiler')
0 files changed, 0 insertions, 0 deletions