Skip to content

Actions: andreasabel/agda2lagda

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump CI to GHC 9.8 (stack) and 9.10.0 (haskell-ci) Stack build #114: Commit 1127da5 pushed by andreasabel
April 11, 2024 03:42 14m 25s master
master
April 11, 2024 03:42 14m 25s
Bump CI to GHC 9.8 (stack) and 9.10.0 (haskell-ci) Haskell-CI #106: Commit 1127da5 pushed by andreasabel
April 11, 2024 03:42 9m 45s master
master
April 11, 2024 03:42 9m 45s
pages build and deployment pages-build-deployment #15: by andreasabel
April 11, 2024 03:42 37s
April 11, 2024 03:42 37s
ghc 9.10 Haskell-CI #105: Pull request #16 synchronize by andreasabel
March 18, 2024 19:23 6m 15s ghc-9.10
ghc-9.10
March 18, 2024 19:23 6m 15s
ghc 9.10 Stack build #113: Pull request #16 synchronize by andreasabel
March 18, 2024 19:23 19m 7s ghc-9.10
ghc-9.10
March 18, 2024 19:23 19m 7s
Bump softprops/action-gh-release from 1 to 2 Stack build #112: Pull request #15 opened by dependabot bot
March 11, 2024 05:41 15m 10s dependabot/github_actions/softprops/action-gh-release-2
dependabot/github_actions/softprops/action-gh-release-2
March 11, 2024 05:41 15m 10s
Bump softprops/action-gh-release from 1 to 2 Haskell-CI #104: Pull request #15 opened by dependabot bot
March 11, 2024 05:41 6m 30s dependabot/github_actions/softprops/action-gh-release-2
dependabot/github_actions/softprops/action-gh-release-2
March 11, 2024 05:41 6m 30s
Bump actions/cache from 3 to 4 Stack build #111: Commit d9e6bce pushed by andreasabel
January 22, 2024 19:43 10m 52s master
master
January 22, 2024 19:43 10m 52s
Bump actions/cache from 3 to 4 Haskell-CI #103: Commit d9e6bce pushed by andreasabel
January 22, 2024 19:43 8m 43s master
master
January 22, 2024 19:43 8m 43s
pages build and deployment with artifacts-next pages-build-deployment #14: by andreasabel
January 22, 2024 19:43 4m 30s
January 22, 2024 19:43 4m 30s
Bump actions/cache from 3 to 4 Haskell-CI #102: Pull request #14 opened by dependabot bot
January 22, 2024 05:05 6m 49s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 05:05 6m 49s
Bump actions/cache from 3 to 4 Stack build #110: Pull request #14 opened by dependabot bot
January 22, 2024 05:05 12m 55s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 05:05 12m 55s
Stack workflow: GHCs 9.4 and 9.6 to stack-x.y.yaml files Haskell-CI #101: Commit 1d14603 pushed by andreasabel
October 13, 2023 12:11 10m 6s master
master
October 13, 2023 12:11 10m 6s
Stack workflow: GHCs 9.4 and 9.6 to stack-x.y.yaml files Stack build #109: Commit 1d14603 pushed by andreasabel
October 13, 2023 12:11 16m 21s master
master
October 13, 2023 12:11 16m 21s
pages build and deployment pages-build-deployment #13: by andreasabel
October 13, 2023 12:11 5m 8s
October 13, 2023 12:11 5m 8s
ghc 9.8 Haskell-CI #100: Pull request #13 synchronize by andreasabel
October 13, 2023 09:45 5m 27s ghc-9.8
ghc-9.8
October 13, 2023 09:45 5m 27s
ghc 9.8 Stack build #108: Pull request #13 synchronize by andreasabel
October 13, 2023 09:45 6m 10s ghc-9.8
ghc-9.8
October 13, 2023 09:45 6m 10s
ghc 9.8 Haskell-CI #99: Pull request #13 synchronize by andreasabel
October 13, 2023 09:28 5m 23s ghc-9.8
ghc-9.8
October 13, 2023 09:28 5m 23s
ghc 9.8 Stack build #107: Pull request #13 synchronize by andreasabel
October 13, 2023 09:28 9m 38s ghc-9.8
ghc-9.8
October 13, 2023 09:28 9m 38s
ghc 9.8 Stack build #106: Pull request #13 synchronize by andreasabel
October 13, 2023 09:21 10m 50s ghc-9.8
ghc-9.8
October 13, 2023 09:21 10m 50s
ghc 9.8 Haskell-CI #98: Pull request #13 synchronize by andreasabel
October 13, 2023 09:21 5m 50s ghc-9.8
ghc-9.8
October 13, 2023 09:21 5m 50s
ghc 9.8 Stack build #105: Pull request #13 opened by andreasabel
October 13, 2023 08:40 15m 12s ghc-9.8
ghc-9.8
October 13, 2023 08:40 15m 12s
ghc 9.8 Haskell-CI #97: Pull request #13 opened by andreasabel
October 13, 2023 08:40 11m 49s ghc-9.8
ghc-9.8
October 13, 2023 08:40 11m 49s
Bump actions/checkout from 3 to 4 Stack build #104: Commit 6757db9 pushed by andreasabel
September 11, 2023 06:46 18m 26s master
master
September 11, 2023 06:46 18m 26s
Bump actions/checkout from 3 to 4 Haskell-CI #96: Commit 6757db9 pushed by andreasabel
September 11, 2023 06:46 8m 19s master
master
September 11, 2023 06:46 8m 19s