diff options
Diffstat (limited to '.gitlab/jobs.yaml')
| -rw-r--r-- | .gitlab/jobs.yaml | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/.gitlab/jobs.yaml b/.gitlab/jobs.yaml index c0a51664b4..c8fe55a71b 100644 --- a/.gitlab/jobs.yaml +++ b/.gitlab/jobs.yaml @@ -1926,7 +1926,7 @@ "XZ_OPT": "-9" } }, - "release-aarch64-linux-deb10-release": { + "release-aarch64-linux-deb10-release+llvm": { "after_script": [ ".gitlab/ci.sh save_cache", ".gitlab/ci.sh clean", @@ -1936,7 +1936,7 @@ "artifacts": { "expire_in": "1 year", "paths": [ - "ghc-aarch64-linux-deb10-release.tar.xz", + "ghc-aarch64-linux-deb10-release+llvm.tar.xz", "junit.xml" ], "reports": { @@ -1978,15 +1978,15 @@ ], "variables": { "BIGNUM_BACKEND": "gmp", - "BIN_DIST_NAME": "ghc-aarch64-linux-deb10-release", - "BUILD_FLAVOUR": "release", + "BIN_DIST_NAME": "ghc-aarch64-linux-deb10-release+llvm", + "BUILD_FLAVOUR": "release+llvm", "CONFIGURE_ARGS": "", "IGNORE_PERF_FAILURES": "all", - "TEST_ENV": "aarch64-linux-deb10-release", + "TEST_ENV": "aarch64-linux-deb10-release+llvm", "XZ_OPT": "-9" } }, - "release-aarch64-linux-deb10-release+llvm": { + "release-aarch64-linux-deb10-release+no_split_sections": { "after_script": [ ".gitlab/ci.sh save_cache", ".gitlab/ci.sh clean", @@ -1996,7 +1996,7 @@ "artifacts": { "expire_in": "1 year", "paths": [ - "ghc-aarch64-linux-deb10-release+llvm.tar.xz", + "ghc-aarch64-linux-deb10-release+no_split_sections.tar.xz", "junit.xml" ], "reports": { @@ -2038,11 +2038,11 @@ ], "variables": { "BIGNUM_BACKEND": "gmp", - "BIN_DIST_NAME": "ghc-aarch64-linux-deb10-release+llvm", - "BUILD_FLAVOUR": "release+llvm", + "BIN_DIST_NAME": "ghc-aarch64-linux-deb10-release+no_split_sections", + "BUILD_FLAVOUR": "release+no_split_sections", "CONFIGURE_ARGS": "", "IGNORE_PERF_FAILURES": "all", - "TEST_ENV": "aarch64-linux-deb10-release+llvm", + "TEST_ENV": "aarch64-linux-deb10-release+no_split_sections", "XZ_OPT": "-9" } }, |