diff options
author | Ben Gamari <ben@smart-cactus.org> | 2019-11-27 12:06:02 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2019-11-27 12:06:02 -0500 |
commit | 8fd3c4bef7dd62bf07d9fdaf54574d0824be1a33 (patch) | |
tree | 99420d8ff573de98d32a8ec73b8a086a460a5a0a | |
parent | fba84466dc9e121ad600fa86ec3b342595f1ddee (diff) | |
download | haskell-wip/debian10.tar.gz |
XXX: Enable deb10wip/debian10
-rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 52cf279ded..298d59554e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -643,10 +643,9 @@ release-x86_64-linux-deb9-dwarf: cache: key: linux-x86_64-deb10 -# Disabled to alleviate CI load -.validate-x86_64-linux-deb10: +validate-x86_64-linux-deb10: extends: .build-x86_64-linux-deb10 - stage: full-build + stage: build nightly-x86_64-linux-deb10: extends: .build-x86_64-linux-deb10 |