Skip to content

Merge pull request #3961 from IntersectMBO/feat/govtool-saves-metadata #1088

Merge pull request #3961 from IntersectMBO/feat/govtool-saves-metadata

Merge pull request #3961 from IntersectMBO/feat/govtool-saves-metadata #1088

Triggered via push July 30, 2025 13:16
Status Failure
Total duration 1m 8s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lint
The process '/home/runner/.ghcup/bin/cabal' failed with exit code 1
check-format
The process '/home/runner/.ghcup/bin/cabal' failed with exit code 1