Skip to content

Merge pull request #10112 from mpickering/wip/10110 #163

Merge pull request #10112 from mpickering/wip/10110

Merge pull request #10112 from mpickering/wip/10110 #163

Triggered via push June 17, 2024 16:31
Status Success
Total duration 9m 7s
Artifacts

quick-jobs.yml

on: push
Meta checks
5m 42s
Meta checks
Doctest Cabal
7m 46s
Doctest Cabal
Check Field Syntax Reference
8m 54s
Check Field Syntax Reference
Check Release Project
2m 23s
Check Release Project
Fit to window
Zoom out
Zoom in