Skip to content

Merge pull request #244 from well-typed/edsko/cleanup-proto #1224

Merge pull request #244 from well-typed/edsko/cleanup-proto

Merge pull request #244 from well-typed/edsko/cleanup-proto #1224

Triggered via push October 24, 2024 14:11
Status Success
Total duration 9m 44s
Artifacts

haskell-ci.yml

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