diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-05-20 15:39:06 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-21 06:24:02 -0400 |
commit | f5f741673079ea58d204acea8dd363dd300b157e (patch) | |
tree | 59c977ff72e931ff4db9a065a3b42ec0e483d58d /.gitlab-ci.yml | |
parent | ec10cc972ad685e8c2df519a5a300c229de67fd6 (diff) | |
download | haskell-f5f741673079ea58d204acea8dd363dd300b157e.tar.gz |
Only run armv7-linux-deb10 build nightly
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 313c9e4284..15eb02546b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -814,7 +814,8 @@ nightly-aarch64-linux-deb10: tags: - armv7-linux -validate-armv7-linux-deb10: +# Disabled as the build takes over 4 hours +.validate-armv7-linux-deb10: extends: .build-armv7-linux-deb10 artifacts: when: always |