Skip to content

Actions: andreasabel/miniagda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Haskell CI to GHC 9.14.1 Haskell-CI #49: Pull request #10 synchronize by andreasabel
5m 3s ghc-9.14
ghc-9.14
5m 3s
Bump Haskell CI to GHC 9.14.1 Stack #20: Pull request #10 synchronize by andreasabel
3m 2s ghc-9.14
ghc-9.14
3m 2s
Bump Haskell CI to GHC 9.14.1 Haskell-CI #48: Pull request #10 opened by andreasabel
13m 35s ghc-9.14
ghc-9.14
13m 35s
Bump Haskell CI to GHC 9.14.1 Stack #19: Pull request #10 opened by andreasabel
14m 41s ghc-9.14
ghc-9.14
14m 41s
Bump to 0.2025.7.23, update README and CHANGELOG Stack #18: Commit b838f00 pushed by andreasabel
11m 18s master
master
11m 18s
Bump to 0.2025.7.23, update README and CHANGELOG Haskell-CI #47: Commit b838f00 pushed by andreasabel
12m 38s master
master
12m 38s
Bump to 0.2025.7.23, update README and CHANGELOG Stack #17: Commit b838f00 pushed by andreasabel
11m 42s v0.2025.7.23
v0.2025.7.23
11m 42s
ghc 9.12 Haskell-CI #46: Pull request #9 synchronize by andreasabel
4m 29s ghc-9.12
ghc-9.12
4m 29s
ghc 9.12 Stack #16: Pull request #9 synchronize by andreasabel
3m 12s ghc-9.12
ghc-9.12
3m 12s
ghc 9.12 Stack #15: Pull request #9 synchronize by andreasabel
8m 44s ghc-9.12
ghc-9.12
8m 44s
ghc 9.12 Haskell-CI #45: Pull request #9 synchronize by andreasabel
6m 45s ghc-9.12
ghc-9.12
6m 45s
ghc 9.12 Haskell-CI #44: Pull request #9 opened by andreasabel
10m 17s ghc-9.12
ghc-9.12
10m 17s
ghc 9.12 Stack #14: Pull request #9 opened by andreasabel
10m 56s ghc-9.12
ghc-9.12
10m 56s