summaryrefslogtreecommitdiff
path: root/docs/users_guide/utils.py
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2021-10-20 10:46:48 +0100
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-10-20 17:50:19 -0400
commit268857af24c57156c14a5ddf98f23417763ca9dd (patch)
treecfa2ebb8e238f995fc2ac0812dafecc1f45a18a3 /docs/users_guide/utils.py
parent9ded1b17f97ba3bd01757a0764ed022f7ed99e9b (diff)
downloadhaskell-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