diff options
author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-04-07 10:15:52 +0800 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-05 10:29:57 -0400 |
commit | 1b2f894f47c54c6e921931351eba36842c345caf (patch) | |
tree | 7bcb90666c64a5ffecf63c24aaf211055dc1a5b6 /.gitlab-ci.yml | |
parent | db1e07f13a7ec6cde2918c435fa422062c49f536 (diff) | |
download | haskell-1b2f894f47c54c6e921931351eba36842c345caf.tar.gz |
[ci] no docs for aarch64-linux-llvm
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0dfcc6b42c..f71fc023bb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -764,6 +764,13 @@ validate-aarch64-linux-deb10-llvm: extends: .build-aarch64-linux-deb10-llvm variables: RUNTEST_ARGS: "--way=llvm" + BUILD_FLAVOUR: perf-llvm + # No docs, for this build, slows it down unncessarily. + # We build docs on other platforms already anyway. + BUILD_SPHINX_HTML: "NO" + BUILD_SPHINX_INFO: "NO" + BUILD_SPHINX_PDF: "NO" + BUILD_SPHINX_MAN: "NO" artifacts: when: always expire_in: 2 week |