Skip to content

Actions: wenkokke/setup-agda

Actions

basic

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sample-basic.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use node20 basic #170: Commit 009e316 pushed by wenkokke
August 22, 2024 20:28 1m 13s main
main
August 22, 2024 20:28 1m 13s
bump version v2.3.0 -> v2.4.0 basic #169: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 1m 18s main
main
August 22, 2024 18:10 1m 18s
Add prettier to ./hooks/pre-commit basic #168: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 1m 16s main
main
August 21, 2024 15:32 1m 16s
Exclude older Agda versions for macOS (>=14) basic #167: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 1m 15s main
main
August 21, 2024 14:28 1m 15s
Bump versions in matrix sample basic #166: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 1m 16s main
main
August 21, 2024 13:38 1m 16s
Support Agda v2.7.0 (#218) basic #165: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 1m 12s main
main
August 20, 2024 20:21 1m 12s
bump version v2.2.0 -> v2.3.0 basic #164: Commit ca8e4c8 pushed by wenkokke
April 9, 2024 22:03 1m 13s main
main
April 9, 2024 22:03 1m 13s
Fix exclude pattern basic #163: Commit 80e76dd pushed by wenkokke
April 9, 2024 20:36 1m 8s main
main
April 9, 2024 20:36 1m 8s
Minor fixes basic #162: Commit 1896b05 pushed by wenkokke
April 9, 2024 20:09 1m 16s main
main
April 9, 2024 20:09 1m 16s
Only use Ubuntu 20.04 (Focal) builds for Ubuntu (#216) basic #161: Commit acae9e5 pushed by wenkokke
April 9, 2024 17:03 1m 10s main
main
April 9, 2024 17:03 1m 10s
Only use macOS 11 builds on Intel basic #160: Commit df9dc87 pushed by wenkokke
April 9, 2024 16:28 1m 6s main
main
April 9, 2024 16:28 1m 6s
Update README basic #159: Commit 8bab647 pushed by wenkokke
April 9, 2024 16:11 1m 19s main
main
April 9, 2024 16:11 1m 19s
Only serve binaries for macOS 11 (#215) basic #158: Commit 04488e8 pushed by wenkokke
April 9, 2024 14:57 1m 10s main
main
April 9, 2024 14:57 1m 10s
Add ARM64 versions basic #157: Commit b2d9504 pushed by wenkokke
April 9, 2024 14:54 1m 13s main
main
April 9, 2024 14:54 1m 13s
Add bundle names to build-legacy basic #156: Commit fed9e91 pushed by wenkokke
April 9, 2024 12:57 1m 8s main
main
April 9, 2024 12:57 1m 8s
Fix dependency on libicudata on macOS basic #155: Commit 568998e pushed by wenkokke
April 9, 2024 12:52 1m 6s main
main
April 9, 2024 12:52 1m 6s
Limit concurrent runs of workflows to one per branch basic #154: Commit 562abaa pushed by wenkokke
April 9, 2024 12:48 1m 9s main
main
April 9, 2024 12:48 1m 9s
Bump setup-haskell v2.5.1 -> v2.7.0 (#213) basic #153: Commit 578cfb4 pushed by wenkokke
April 9, 2024 12:35 1m 22s main
main
April 9, 2024 12:35 1m 22s
Add v2.6.4.3 (#211) basic #152: Commit d5bda80 pushed by wenkokke
April 9, 2024 12:32 25s main
main
April 9, 2024 12:32 25s
Fix SHA256 for patched binary distributions & clean up legacy URLs (#… basic #151: Commit 465db91 pushed by wenkokke
April 9, 2024 12:26 1m 21s main
main
April 9, 2024 12:26 1m 21s
[pre-commit.ci] pre-commit autoupdate (#212) basic #150: Commit 9ad0e44 pushed by wenkokke
April 8, 2024 22:42 1m 8s main
main
April 8, 2024 22:42 1m 8s
bump version v2.1.0 -> v2.2.0 basic #149: Commit e4c4431 pushed by wenkokke
March 7, 2024 16:45 1m 17s main
main
March 7, 2024 16:45 1m 17s
Clarify HACKING basic #148: Commit b6b13b9 pushed by wenkokke
February 29, 2024 22:37 1m 5s main
main
February 29, 2024 22:37 1m 5s
Fix cabal-plan (#210) basic #147: Commit 9e44eac pushed by wenkokke
February 29, 2024 21:59 3m 10s main
main
February 29, 2024 21:59 3m 10s
Support agda-stdlib v2.0 (#207) basic #146: Commit 8b21b46 pushed by wenkokke
January 25, 2024 12:12 1m 14s main
main
January 25, 2024 12:12 1m 14s