Skip to content

Actions: wenkokke/setup-agda

Actions

build latest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-latest.yml
79 workflow runs
79 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for v2.7.0.1 (#224) build latest #234: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 30m 37s main
main
October 19, 2024 15:18 30m 37s
Support for v2.7.0.1 build latest #233: Pull request #224 synchronize by wenkokke
October 19, 2024 11:46 37m 12s agda-v2.7.0.1
agda-v2.7.0.1
October 19, 2024 11:46 37m 12s
Support for v2.7.0.1 build latest #232: Pull request #224 synchronize by wenkokke
October 19, 2024 11:42 3m 34s agda-v2.7.0.1
agda-v2.7.0.1
October 19, 2024 11:42 3m 34s
Support for v2.7.0.1 build latest #231: Pull request #224 opened by wenkokke
October 18, 2024 16:41 35m 36s agda-v2.7.0.1
agda-v2.7.0.1
October 18, 2024 16:41 35m 36s
Use node20 build latest #230: Commit 009e316 pushed by wenkokke
August 22, 2024 20:28 32m 8s main
main
August 22, 2024 20:28 32m 8s
Test release v2.4.0 build latest #229: Pull request #220 opened by wenkokke
August 22, 2024 18:18 2m 46s v2.4.0
v2.4.0
August 22, 2024 18:18 2m 46s
bump version v2.3.0 -> v2.4.0 build latest #228: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 56m 19s main
main
August 22, 2024 18:10 56m 19s
Add prettier to ./hooks/pre-commit build latest #227: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 36m 24s main
main
August 21, 2024 15:32 36m 24s
Exclude older Agda versions for macOS (>=14) build latest #226: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 53m 58s main
main
August 21, 2024 14:28 53m 58s
Bump versions in matrix sample build latest #225: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 41m 54s main
main
August 21, 2024 13:38 41m 54s
Support Agda v2.7.0 (#218) build latest #224: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 1h 44m 44s main
main
August 20, 2024 20:21 1h 44m 44s
Support Agda v2.7.0 build latest #223: Pull request #218 synchronize by wenkokke
August 20, 2024 18:19 1h 0m 44s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:19 1h 0m 44s
Support Agda v2.7.0 build latest #222: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 18:15 3m 44s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:15 3m 44s
Support Agda v2.7.0 build latest #221: Pull request #218 synchronize by wenkokke
August 20, 2024 18:15 19s agda-v2.7.0
agda-v2.7.0
August 20, 2024 18:15 19s
Support Agda v2.7.0 build latest #220: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 17:40 31m 46s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:40 31m 46s
Support Agda v2.7.0 build latest #219: 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 build latest #218: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 17:36 4m 0s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:36 4m 0s
Support Agda v2.7.0 build latest #217: Pull request #218 synchronize by wenkokke
August 20, 2024 17:35 1m 30s agda-v2.7.0
agda-v2.7.0
August 20, 2024 17:35 1m 30s
Support Agda v2.7.0 build latest #216: Pull request #218 synchronize by pre-commit-ci bot
August 20, 2024 10:59 6h 28m 7s agda-v2.7.0
agda-v2.7.0
August 20, 2024 10:59 6h 28m 7s
Support Agda v2.7.0 build latest #215: Pull request #218 opened by wenkokke
August 20, 2024 10:58 22s agda-v2.7.0
agda-v2.7.0
August 20, 2024 10:58 22s
bump version v2.2.0 -> v2.3.0 build latest #214: Commit ca8e4c8 pushed by wenkokke
April 9, 2024 22:03 36m 44s main
main
April 9, 2024 22:03 36m 44s
Fix exclude pattern build latest #213: Commit 80e76dd pushed by wenkokke
April 9, 2024 20:36 51m 12s main
main
April 9, 2024 20:36 51m 12s
Minor fixes build latest #212: Commit 1896b05 pushed by wenkokke
April 9, 2024 20:09 26m 29s main
main
April 9, 2024 20:09 26m 29s
Only use Ubuntu 20.04 (Focal) builds for Ubuntu (#216) build latest #211: Commit acae9e5 pushed by wenkokke
April 9, 2024 17:03 1h 29m 53s main
main
April 9, 2024 17:03 1h 29m 53s
Only use Ubuntu 20.04 (Focal) builds for Ubuntu build latest #210: Pull request #216 opened by wenkokke
April 9, 2024 16:30 1h 4m 4s only-ubuntu-focal
only-ubuntu-focal
April 9, 2024 16:30 1h 4m 4s