Merge pull request #10128 from alt-romes/wip/romes/disable-build-tool… #10702
mergify[bot]quick-jobs.yml
on: push
Meta checks
2m 20s
Doctest Cabal
6m 26s
Check Field Syntax Reference
5m 36s
Check Release Project
2m 19s