Skip to content

Actions: agda/fix-whitespace

Actions

Haskell-CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 9.12 to Stack CI
Haskell-CI #118: Commit 88060f0 pushed by andreasabel
16m 9s 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
Haskell-CI #113: Pull request #72 opened by andreasabel
22m 18s ghc-9.12.2
Bump CI to GHC 9.12.1
Haskell-CI #108: Commit 35db3d7 pushed by andreasabel
16m 9s master
Bump CI to GHC 9.12.1
Haskell-CI #107: Pull request #67 opened by andreasabel
15m 18s ghc-9.12.1