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 /docs/users_guide/utils.py | |
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
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions