diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-04-19 18:14:59 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2021-04-21 23:36:24 -0400 |
commit | 1b65aa9f174501ae03bef1ef13f276267c60af9b (patch) | |
tree | 2ffc78d23e01f258081a776392c90510a90f275c | |
parent | 07f8e38f39af84601bb663460de0c5227d8b54e5 (diff) | |
download | haskell-1b65aa9f174501ae03bef1ef13f276267c60af9b.tar.gz |
gitlab-ci: Don't IGNORE_PERF_FAILURES when --skip-perf is used
The two flags are mutually incompatible.
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 4f35006964..24c96028a3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1156,6 +1156,8 @@ release-x86_64-linux-fedora27-dwarf: # skipping perf tests for now since we build a quick-flavoured GHC, # which might result in some broken perf tests? HADRIAN_ARGS: "--docs=no-sphinx --skip-perf" + # --skip-perf is incompatible with IGNORE_PERF_FAILURES. + IGNORE_PERF_FAILURES: "" script: - bash .gitlab/ci.sh configure |