diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-10-20 10:46:48 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-20 17:50:19 -0400 |
| commit | 268857af24c57156c14a5ddf98f23417763ca9dd (patch) | |
| tree | cfa2ebb8e238f995fc2ac0812dafecc1f45a18a3 | |
| parent | 9ded1b17f97ba3bd01757a0764ed022f7ed99e9b (diff) | |
| download | haskell-268857af24c57156c14a5ddf98f23417763ca9dd.tar.gz | |
ci: Move hlint jobs from quick-built into full-build
This somewhat fixes the annoyance of not getting any "useful" feedback
from a CI pipeline if you have a hlint failure. Now the hlint job runs
in parallel with the other CI jobs so the feedback is recieved at the
same time as other testsuite results.
Fixes #20507
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 44bae2c960..16653c13b0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -389,7 +389,7 @@ hadrian-ghc-in-ghci: ############################################################ .lint-params: - stage: quick-build + stage: full-build needs: [lint-submods] tags: - lint |