diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-25 10:05:26 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-25 10:06:35 +0000 |
commit | da00ff49de6f619f3356bc8ad1aadb2772069180 (patch) | |
tree | ce98dae6015875767699804aea468e2f20117100 /distrib/mkDocs | |
parent | bc038c3bd45ee99db9fba23a823a906735740200 (diff) | |
download | haskell-wip/hlint-disable.tar.gz |
ci: Disable HLint job due to excessive runtimewip/hlint-disable
The HLint jobs takes much longer to run (20 minutes) after "Give the RTS it's own configure script" eb5a6b91
Now the CI job will build the stage0 compiler before it generates the necessary RTS headers.
We either need to:
* Fix the linting rules so they take much less time
* Revert the commit
* Remove the linting of base from the hlint job
* Remove the hlint job
This is highest priority as it is affecting all CI pipelines.
For now I am just disabling the job because there are many more pressing
matters at hand.
Ticket #22830
Diffstat (limited to 'distrib/mkDocs')
0 files changed, 0 insertions, 0 deletions