Skip to content

Merge pull request #16 from well-typed/edsko/ipe #47

Merge pull request #16 from well-typed/edsko/ipe

Merge pull request #16 from well-typed/edsko/ipe #47

Triggered via push December 4, 2024 13:18
Status Success
Total duration 3m 31s
Artifacts

haskell-ci.yml

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