Skip to content

Merge pull request #209 from well-typed/edsko/code-cleanup #232

Merge pull request #209 from well-typed/edsko/code-cleanup

Merge pull request #209 from well-typed/edsko/code-cleanup #232

Triggered via push October 9, 2024 13:51
Status Success
Total duration 4m 52s
Artifacts

simple.yml

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

Annotations

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