Skip to content

Merge pull request #181 from bgamari/patch-2 #420

Merge pull request #181 from bgamari/patch-2

Merge pull request #181 from bgamari/patch-2 #420

Triggered via push March 4, 2025 22:41
Status Success
Total duration 12m 10s
Artifacts

ci.yaml

on: push
Matrix: arm
Matrix: CI-cabal
Matrix: CI-stack
Fit to window
Zoom out
Zoom in