summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-01-03 22:22:22 -0500
committerBen Gamari <ben@smart-cactus.org>2020-01-03 22:23:45 -0500
commitccd050188e957732324f2ed62b60c36e52bf7f82 (patch)
tree4fe633ebe669162e352f4196f7346266972b5fa2
parentb84c09d533faf576c406ce9f7163efecf3037787 (diff)
downloadhaskell-wip/deb10-llvm.tar.gz
gitlab-ci: Move x86_64-llvm job to Debian 10wip/deb10-llvm
In the nightly-x86_64-linux-deb9-llvm a good number of tests currently fail in the ext-interp way. However, I have been unable to reproduce this locally on NixOS. I somewhat suspect that the problem has been resolved by a toolchain upgrade. Let's see if Debian 10 is helps.
-rw-r--r--.gitlab-ci.yml35
1 files changed, 17 insertions, 18 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fddeebfa87..654ccc7271 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -580,24 +580,6 @@ validate-x86_64-linux-deb9-debug:
when: always
expire_in: 2 week
-# Disabled to alleviate CI load
-.validate-x86_64-linux-deb9-llvm:
- extends: .build-x86_64-linux-deb9
- stage: full-build
- variables:
- BUILD_FLAVOUR: perf-llvm
- TEST_ENV: "x86_64-linux-deb9-llvm"
-
-nightly-x86_64-linux-deb9-llvm:
- extends: .build-x86_64-linux-deb9
- stage: full-build
- variables:
- BUILD_FLAVOUR: perf-llvm
- TEST_ENV: "x86_64-linux-deb9-llvm"
- only:
- variables:
- - $NIGHTLY
-
validate-x86_64-linux-deb9-integer-simple:
extends: .build-x86_64-linux-deb9
stage: full-build
@@ -642,6 +624,23 @@ validate-x86_64-linux-deb9-dwarf:
cache:
key: linux-x86_64-deb10
+validate-x86_64-linux-deb10-llvm:
+ extends: .build-x86_64-linux-deb10
+ stage: full-build
+ variables:
+ BUILD_FLAVOUR: perf-llvm
+ TEST_ENV: "x86_64-linux-deb10-llvm"
+
+nightly-x86_64-linux-deb10-llvm:
+ extends: .build-x86_64-linux-deb10
+ stage: full-build
+ variables:
+ BUILD_FLAVOUR: perf-llvm
+ TEST_ENV: "x86_64-linux-deb10-llvm"
+ only:
+ variables:
+ - $NIGHTLY
+
# Disabled to alleviate CI load
.validate-x86_64-linux-deb10:
extends: .build-x86_64-linux-deb10