Skip to content

add Mergify config for high priority PRs #11577

add Mergify config for high priority PRs

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
Meta checks
Doctest Cabal
8m 11s
Doctest Cabal
Check Field Syntax Reference
9m 6s
Check Field Syntax Reference
Check Release Project
2m 13s
Check Release Project
Fit to window
Zoom out
Zoom in

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.