Skip to content

Merge pull request #9963 from Mikolaj/master #11

Merge pull request #9963 from Mikolaj/master

Merge pull request #9963 from Mikolaj/master #11

Triggered via push May 6, 2024 15:15
Status Success
Total duration 8m 26s
Artifacts

quick-jobs.yml

on: push
Meta checks
4m 18s
Meta checks
Doctest Cabal
7m 11s
Doctest Cabal
Check Field Syntax Reference
8m 9s
Check Field Syntax Reference
Check Release Project
39s
Check Release Project
Fit to window
Zoom out
Zoom in