Skip to content

Actions: wenkokke/setup-agda

Actions

setup legacy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
setup-legacy.yml
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for v2.7.0.1 (#224) setup legacy #301: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 32m 29s main
main
October 19, 2024 15:18 32m 29s
Support for v2.7.0.1 setup legacy #300: Pull request #224 synchronize by wenkokke
October 19, 2024 11:46 22m 7s agda-v2.7.0.1
agda-v2.7.0.1
October 19, 2024 11:46 22m 7s
Support for v2.7.0.1 setup legacy #299: Pull request #224 synchronize by wenkokke
October 19, 2024 11:42 3m 47s agda-v2.7.0.1
agda-v2.7.0.1
October 19, 2024 11:42 3m 47s
Support for v2.7.0.1 setup legacy #298: Pull request #224 opened by wenkokke
October 18, 2024 16:41 13m 35s agda-v2.7.0.1
agda-v2.7.0.1
October 18, 2024 16:41 13m 35s
Use node20 setup legacy #297: Commit 009e316 pushed by wenkokke
August 22, 2024 20:28 35m 32s main
main
August 22, 2024 20:28 35m 32s
Use macos-12 distributions setup legacy #296: Commit 8e5fa93 pushed by wenkokke
August 22, 2024 20:19 10m 3s v2.4.0
v2.4.0
August 22, 2024 20:19 10m 3s
Fix setup-legacy setup legacy #295: Commit 5076213 pushed by wenkokke
August 22, 2024 18:21 26m 29s v2.4.0
v2.4.0
August 22, 2024 18:21 26m 29s
Test release v2.4.0 setup legacy #294: Pull request #220 opened by wenkokke
August 22, 2024 18:18 3m 1s v2.4.0
v2.4.0
August 22, 2024 18:18 3m 1s
bump version v2.3.0 -> v2.4.0 setup legacy #293: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 19m 1s main
main
August 22, 2024 18:10 19m 1s
Add prettier to ./hooks/pre-commit setup legacy #292: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 2m 32s main
main
August 21, 2024 15:32 2m 32s
Exclude older Agda versions for macOS (>=14) setup legacy #291: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 19m 22s main
main
August 21, 2024 14:28 19m 22s
Bump versions in matrix sample setup legacy #290: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 14m 23s main
main
August 21, 2024 13:38 14m 23s
Support Agda v2.7.0 (#218) setup legacy #289: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 1h 13m 42s main
main
August 20, 2024 20:21 1h 13m 42s
Support Agda v2.7.0 setup legacy #288: Pull request #218 synchronize by wenkokke
August 20, 2024 18:19 1h 53m 58s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:19 1h 53m 58s
Support Agda v2.7.0 setup legacy #287: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 18:15 3m 54s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:15 3m 54s
Support Agda v2.7.0 setup legacy #286: Pull request #218 synchronize by wenkokke
August 20, 2024 18:15 47s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:15 47s
Support Agda v2.7.0 setup legacy #285: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 17:40 34m 52s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:40 34m 52s
Support Agda v2.7.0 setup legacy #284: Pull request #218 synchronize by wenkokke
August 20, 2024 17:40 11s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:40 11s
Support Agda v2.7.0 setup legacy #283: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 17:36 4m 13s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:36 4m 13s
Support Agda v2.7.0 setup legacy #282: Pull request #218 synchronize by wenkokke
August 20, 2024 17:35 1m 45s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:35 1m 45s
Support Agda v2.7.0 setup legacy #281: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 10:59 6h 36m 4s agda-v2.7.0
agda-v2.7.0
August 20, 2024 10:59 6h 36m 4s
Support Agda v2.7.0 setup legacy #280: Pull request #218 opened by wenkokke
August 20, 2024 10:58 1m 18s agda-v2.7.0
agda-v2.7.0
August 20, 2024 10:58 1m 18s
bump version v2.2.0 -> v2.3.0 setup legacy #279: Commit ca8e4c8 pushed by wenkokke
April 9, 2024 22:03 35m 27s main
main
April 9, 2024 22:03 35m 27s
Fix exclude pattern setup legacy #278: Commit 80e76dd pushed by wenkokke
April 9, 2024 20:36 22m 28s main
main
April 9, 2024 20:36 22m 28s
Minor fixes setup legacy #277: Commit 1896b05 pushed by wenkokke
April 9, 2024 20:09 21m 42s main
main
April 9, 2024 20:09 21m 42s