summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-22 00:59:43 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-02-07 01:55:42 -0500
commitc32de5f4f85bffb07cdd6e8c99b4789e1952b16e (patch)
treed3ef2c468535dce896b0c05df43af72510359ef7
parentc07e7ecbdfc05429fb6ce84c547c0365d2754db7 (diff)
downloadhaskell-c32de5f4f85bffb07cdd6e8c99b4789e1952b16e.tar.gz
gitlab-ci: Add a devel2 build
-rw-r--r--.gitlab-ci.yml10
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 07a1d47b04..a9814b143a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -213,6 +213,16 @@ nightly-i386-linux-deb9:
cache:
key: linux-i386-deb9
+# N.B. Has DEBUG assertions enabled in stage2
+validate-x86_64-linux-deb9-debug:
+ extends: .validate-linux
+ stage: build
+ image: ghcci/x86_64-linux-deb9:0.2
+ variables:
+ BUILD_FLAVOUR: devel2
+ cache:
+ key: linux-x86_64-deb9
+
validate-x86_64-linux-deb9:
extends: .validate-linux
stage: build