Skip to content

Actions: agda/fix-whitespace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump CI to GHC 9.12.2
Build by Stack #219: Commit 9af188b pushed by andreasabel
15m 26s master
Bump CI to GHC 9.12.2
Haskell-CI #114: Commit 9af188b pushed by andreasabel
16m 23s master
Bump CI to GHC 9.12.2
Build by Stack #218: Pull request #72 opened by andreasabel
10m 10s ghc-9.12.2
Bump CI to GHC 9.12.2
Haskell-CI #113: Pull request #72 opened by andreasabel
22m 18s ghc-9.12.2