diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6713aff9fdfae6c03d68fddf8a63c5f167e0c2c1..c29d52b3e9a7d80b11ae9d6c92a4fcf28cb610c4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1233,8 +1233,9 @@ release-x86_64-windows: extends: .build-x86_64-windows-hadrian variables: BUILD_FLAVOUR: "perf" - IGNORE_PERF_FAILURES: "all" HADDOCK_HYPERLINKED_SOURCES: "yes" + # --skip-perf is incompatible with IGNORE_PERF_FAILURES. + IGNORE_PERF_FAILURES: "" release-x86_64-windows-integer-simple: <<: *release @@ -1245,6 +1246,8 @@ release-x86_64-windows-integer-simple: IGNORE_PERF_FAILURES: "all" BUILD_FLAVOUR: "perf" BIN_DIST_NAME: "ghc-x86_64-mingw32-unknown-nogmp" + # --skip-perf is incompatible with IGNORE_PERF_FAILURES. + IGNORE_PERF_FAILURES: "" ############################################################