Skip to content

Actions: agda/fix-whitespace

Actions

Build by Stack

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stack.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump Haskell CI to GHC 9.12.0 Build by Stack #208: Commit 1c4d659 pushed by andreasabel
November 13, 2024 22:16 22m 0s master
master
November 13, 2024 22:16 22m 0s
Bump Haskell CI to GHC 9.12.0 Build by Stack #207: Pull request #65 synchronize by andreasabel
November 11, 2024 17:27 5m 0s ghc-9.12.0
ghc-9.12.0
November 11, 2024 17:27 5m 0s
Bump Haskell CI to GHC 9.12.0 Build by Stack #206: Pull request #65 opened by andreasabel
November 11, 2024 16:55 24m 22s ghc-9.12.0
ghc-9.12.0
November 11, 2024 16:55 24m 22s
Bump CI for GHC 9.6 to GHC 9.6.6 Build by Stack #205: Commit 098fdd1 pushed by andreasabel
October 20, 2024 05:54 13m 42s master
master
October 20, 2024 05:54 13m 42s
Allow filepath-1.5; bump CI to GHC 9.10.1 Build by Stack #204: Commit e04ea74 pushed by andreasabel
July 1, 2024 13:15 7m 43s master
master
July 1, 2024 13:15 7m 43s
Allow filepath-1.5; bump CI to GHC 9.10.1 Build by Stack #203: Pull request #63 synchronize by andreasabel
July 1, 2024 12:58 15m 25s ghc-9.10.1
ghc-9.10.1
July 1, 2024 12:58 15m 25s
Allow filepath-1.5; bump CI to GHC 9.10.1 Build by Stack #202: Pull request #63 opened by andreasabel
July 1, 2024 11:34 13m 56s ghc-9.10.1
ghc-9.10.1
July 1, 2024 11:34 13m 56s
Haskell CI: Bump to GHC 9.10.0 Build by Stack #201: Commit d2fbe65 pushed by andreasabel
April 22, 2024 11:45 17m 11s master
master
April 22, 2024 11:45 17m 11s
ghc 9.10 Build by Stack #200: Pull request #61 synchronize by andreasabel
April 17, 2024 05:58 20m 19s ghc-9.10
ghc-9.10
April 17, 2024 05:58 20m 19s
Bump actions/cache from 3 to 4 Build by Stack #199: Commit 522541b pushed by andreasabel
January 23, 2024 07:27 16m 13s master
master
January 23, 2024 07:27 16m 13s
Bump actions/cache from 3 to 4 Build by Stack #198: Pull request #59 opened by dependabot bot
January 22, 2024 22:41 19m 47s dependabot/github_actions/actions/cache-4
dependabot/github_actions/actions/cache-4
January 22, 2024 22:41 19m 47s
CI: add stack-9.8.yaml; bump others Build by Stack #197: Commit 1aa2403 pushed by andreasabel
December 28, 2023 15:54 16m 5s master
master
December 28, 2023 15:54 16m 5s
CI: add stack-9.8.yaml; bump others Build by Stack #196: Pull request #58 opened by andreasabel
December 28, 2023 15:37 16m 14s stack-9.8
stack-9.8
December 28, 2023 15:37 16m 14s
Bump Haskell CI to 9.8.1 etc.; use 9.6/4 instead of 9.6/4.z in Stack CI Build by Stack #195: Commit 972b27e pushed by andreasabel
October 13, 2023 18:18 20m 48s master
master
October 13, 2023 18:18 20m 48s
Bump Haskell CI to 9.8.1 etc.; use 9.6/4 instead of 9.6/4.z in Stack CI Build by Stack #194: Pull request #57 opened by andreasabel
October 13, 2023 17:20 23m 55s ghc-9.8
ghc-9.8
October 13, 2023 17:20 23m 55s
Allow text-2.1 ~~and test it in CI~~ Build by Stack #193: Commit 599b6dc pushed by andreasabel
September 11, 2023 05:25 6m 54s master
master
September 11, 2023 05:25 6m 54s
Allow text-2.1 and test it in CI Build by Stack #192: Pull request #56 synchronize by andreasabel
September 11, 2023 05:12 6m 50s text-2.1
text-2.1
September 11, 2023 05:12 6m 50s
Allow text-2.1 and test it in CI Build by Stack #191: Pull request #56 opened by andreasabel
September 10, 2023 19:36 16m 25s text-2.1
text-2.1
September 10, 2023 19:36 16m 25s
Bump actions/checkout from 3 to 4 Build by Stack #190: Pull request #55 synchronize by dependabot bot
September 10, 2023 19:31 13m 45s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 10, 2023 19:31 13m 45s
Release workflow: use gh release instead of outdated actions Build by Stack #189: Commit 1ef39ce pushed by andreasabel
September 10, 2023 19:30 13m 36s master
master
September 10, 2023 19:30 13m 36s
Bump actions/checkout from 3 to 4 Build by Stack #188: Pull request #55 opened by dependabot bot
September 4, 2023 22:21 16m 6s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 22:21 16m 6s
Release workflow: use gh release instead of outdated actions Build by Stack #187: Pull request #54 opened by andreasabel
August 7, 2023 12:59 5m 4s create-release-gh
create-release-gh
August 7, 2023 12:59 5m 4s
v0.1: CHANGELOG, README, LICENSE, --help Build by Stack #186: Commit c6470a1 pushed by andreasabel
August 7, 2023 11:42 9m 53s v0.1
v0.1
August 7, 2023 11:42 9m 53s
v0.1: CHANGELOG, README, LICENSE, --help Build by Stack #185: Commit c6470a1 pushed by andreasabel
August 7, 2023 11:42 6m 45s master
master
August 7, 2023 11:42 6m 45s
v0.1: CHANGELOG, README, LICENSE, --help Build by Stack #184: Pull request #52 opened by andreasabel
August 7, 2023 10:28 7m 29s v0.1
v0.1
August 7, 2023 10:28 7m 29s