Skip to content

Merge pull request #10311 from alt-romes/wip/romes/9777 #171

Merge pull request #10311 from alt-romes/wip/romes/9777

Merge pull request #10311 from alt-romes/wip/romes/9777 #171

Triggered via push September 8, 2024 18:43
Status Success
Total duration 9m 39s
Artifacts

quick-jobs.yml

on: push
Meta checks
5m 47s
Meta checks
Doctest Cabal
8m 29s
Doctest Cabal
Check Field Syntax Reference
9m 31s
Check Field Syntax Reference
Check Release Project
2m 19s
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.