add Mergify config for high priority PRs #11577
Triggered via pull request
September 22, 2024 21:55
Status
Success
Total duration
9m 17s
Artifacts
–
quick-jobs.yml
on: pull_request
Meta checks
5m 30s
Doctest Cabal
8m 11s
Check Field Syntax Reference
9m 6s
Check Release Project
2m 13s
Annotations
5 warnings
Meta checks
The import of ‘Control.Monad.IO.Class’ is redundant
|
Meta checks
The import of ‘Control.Monad.IO.Class’ is redundant
|
Meta checks
Cache save failed.
|
Doctest Cabal
Cache save failed.
|
Check Field Syntax Reference
Cache save failed.
|