diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0d16a1af38..ad1460ac9d 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -627,14 +627,18 @@ test-bootstrap: - popd - rm -Rf test-bootstrap variables: - TEST_ENV: "x86_64-linux-deb10-hadrian" + # Don't record performance benchmarks + TEST_ENV: "" BIN_DIST_NAME: "ghc-x86_64-deb10-linux" BUILD_FLAVOUR: "validate" NO_BOOT: "1" rules: - if: $NIGHTLY - - if: '$RELEASE_JOB == "yes"' - if: '$CI_MERGE_REQUEST_LABELS =~ /.*test-bootstrap.*/' + - if: '$RELEASE_JOB == "yes"' + when: always + variables: + BUILD_FLAVOUR: "release" ############################################################ |