Skip to content

Merge pull request #205 from well-typed/edsko/overhaul-locations #221

Merge pull request #205 from well-typed/edsko/overhaul-locations

Merge pull request #205 from well-typed/edsko/overhaul-locations #221

Triggered via push October 5, 2024 11:21
Status Success
Total duration 5m 4s
Artifacts

simple.yml

on: push
Matrix: native
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Simple: GHC 9.4.8 on windows-latest
Cache save failed.
Simple: GHC 9.4.8 on macos-latest
Cache save failed.