From 4c20e355dfef8c73429a44300c35267b939df357 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Wed, 21 Apr 2021 16:18:58 -0400
Subject: [PATCH] gitlab-ci: Fix Windows release build
---
.gitlab-ci.yml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6713aff9fdfa..c29d52b3e9a7 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: ""
############################################################
--
GitLab