Skip to content

Actions: agda/tasty-silver

Actions

Cabal

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cabal-mac-win.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make standard LANGUAGE pragmas default-extensions Cabal #15: Commit c8768a2 pushed by andreasabel
5m 58s master
master
5m 58s
Drop support for GHC 7 Cabal #14: Pull request #47 synchronize by andreasabel
8m 49s drop-ghc-7
drop-ghc-7
8m 49s
Drop support for GHC 7 Cabal #13: Pull request #47 opened by andreasabel
6m 1s drop-ghc-7
drop-ghc-7
6m 1s
Bump CI to GHC 9.12.1 Cabal #12: Commit 2dad76d pushed by andreasabel
9m 4s master
master
9m 4s
Bump CI to GHC 9.12.1 Cabal #11: Pull request #46 opened by andreasabel
7m 37s ghc-9.12.1
ghc-9.12.1
7m 37s