summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-12-10 15:34:27 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-12-12 02:26:56 -0500
commit9f0ee2534fcfd95b0870d09718ac3c31704f5753 (patch)
treea098d97f32c31fc605a490660cdda19dc3ace984
parent29c4609c58005aa4dad887b7396f0e95dfe0c68d (diff)
downloadhaskell-9f0ee2534fcfd95b0870d09718ac3c31704f5753.tar.gz
gitlab-ci: Move -dwarf and -debug jobs to full-build stage
This sacrifices some precision in favor of improving parallelism.
-rw-r--r--.gitlab-ci.yml4
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8ccea58540..d7fae1a93c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -562,7 +562,7 @@ nightly-x86_64-linux-deb9:
# N.B. Has DEBUG assertions enabled in stage2
validate-x86_64-linux-deb9-debug:
extends: .build-x86_64-linux-deb9
- stage: build
+ stage: full-build
variables:
BUILD_FLAVOUR: validate
# Ensure that stage2 also has DEBUG enabled
@@ -631,7 +631,7 @@ release-x86_64-linux-deb9:
validate-x86_64-linux-deb9-dwarf:
extends: .build-x86_64-linux-deb9
- stage: build
+ stage: full-build
variables:
CONFIGURE_ARGS: "--enable-dwarf-unwind"
BUILD_FLAVOUR: dwarf