Skip to content

Merge pull request #10771 from alt-romes/wip/romes/10686 #13205

Merge pull request #10771 from alt-romes/wip/romes/10686

Merge pull request #10771 from alt-romes/wip/romes/10686 #13205

Triggered via push February 3, 2025 16:23
Status Success
Total duration 11m 14s
Artifacts

quick-jobs.yml

on: push
Meta checks
5m 51s
Meta checks
Doctest Cabal
9m 0s
Doctest Cabal
Check Field Syntax Reference
11m 4s
Check Field Syntax Reference
Check Release Project
2m 22s
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.