diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-06 15:58:27 +0100 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-04-06 16:15:07 +0100 |
commit | 19d2143a6d41951f2cec8a5d7033584d99161359 (patch) | |
tree | 8a09a8ff4b5bf221ae7c09ad67ebdd818bff23c5 /.gitlab-ci.yml | |
parent | e9ad3483881d7c621a67d70740dcf1dd5bebd53b (diff) | |
download | haskell-19d2143a6d41951f2cec8a5d7033584d99161359.tar.gz |
ci: Build "perf" windows bindists
These are accidentally validate bindists which meant they lacked
profiling libraries.
Closes #21190
Diffstat (limited to '.gitlab-ci.yml')
-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 1ded8592f0..a78796801c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1182,6 +1182,7 @@ release-x86_64-windows: variables: # --skip-perf is incompatible with IGNORE_PERF_FAILURES. IGNORE_PERF_FAILURES: "" + BUILD_FLAVOUR: "perf" release-x86_64-windows-integer-simple: <<: *release @@ -1191,6 +1192,7 @@ release-x86_64-windows-integer-simple: BIN_DIST_NAME: "ghc-x86_64-mingw32-unknown-nogmp" # --skip-perf is incompatible with IGNORE_PERF_FAILURES. IGNORE_PERF_FAILURES: "" + BUILD_FLAVOUR: "perf" ############################################################ |