Skip to content

Actions: agda/tasty-silver

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Haskell CI to GHC 9.14.1 Cabal #17: Commit d1d660f pushed by andreasabel
11m 44s master
master
11m 44s
Bump Haskell CI to GHC 9.14.1 Haskell-CI #83: Commit d1d660f pushed by andreasabel
6m 6s master
master
6m 6s
Bump Haskell CI to GHC 9.14.1 Cabal #16: Pull request #50 opened by andreasabel
6m 56s ghc-9.14
ghc-9.14
6m 56s
Bump Haskell CI to GHC 9.14.1 Haskell-CI #82: Pull request #50 opened by andreasabel
6m 9s ghc-9.14
ghc-9.14
6m 9s
Make standard LANGUAGE pragmas default-extensions Cabal #15: Commit c8768a2 pushed by andreasabel
5m 58s master
master
5m 58s
Make standard LANGUAGE pragmas default-extensions Haskell-CI #81: Commit c8768a2 pushed by andreasabel
7m 28s master
master
7m 28s
Drop support for GHC 7 Haskell-CI #80: Pull request #47 synchronize by andreasabel
6m 23s drop-ghc-7
drop-ghc-7
6m 23s
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 Haskell-CI #79: Pull request #47 opened by andreasabel
6m 0s drop-ghc-7
drop-ghc-7
6m 0s
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 Haskell-CI #78: Commit 2dad76d pushed by andreasabel
6m 6s master
master
6m 6s
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
Bump CI to GHC 9.12.1 Haskell-CI #77: Pull request #46 opened by andreasabel
6m 13s ghc-9.12.1
ghc-9.12.1
6m 13s