Skip to content

Actions: wenkokke/setup-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
488 workflow runs
488 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 node20 setup latest #429: Commit 009e316 pushed by wenkokke
August 22, 2024 20:28 36m 38s main
main
August 22, 2024 20:28 36m 38s
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
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
Test release v2.4.0 codeql #823: Pull request #220 opened by wenkokke
August 22, 2024 18:18 1m 23s v2.4.0
v2.4.0
August 22, 2024 18:18 1m 23s
bump version v2.3.0 -> v2.4.0 minimal #169: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 29s main
main
August 22, 2024 18:10 29s
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
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
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
bump version v2.3.0 -> v2.4.0 setup latest #428: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 26m 50s main
main
August 22, 2024 18:10 26m 50s
bump version v2.3.0 -> v2.4.0 complex #169: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 28m 58s main
main
August 22, 2024 18:10 28m 58s
bump version v2.3.0 -> v2.4.0 matrix #169: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 25m 18s main
main
August 22, 2024 18:10 25m 18s
bump version v2.3.0 -> v2.4.0 codeql #822: Commit 7bd2460 pushed by wenkokke
August 22, 2024 18:10 3m 55s main
main
August 22, 2024 18:10 3m 55s
Add prettier to ./hooks/pre-commit codeql #821: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 3m 48s main
main
August 21, 2024 15:32 3m 48s
Add prettier to ./hooks/pre-commit complex #168: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 30m 58s main
main
August 21, 2024 15:32 30m 58s
Add prettier to ./hooks/pre-commit matrix #168: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 26m 1s main
main
August 21, 2024 15:32 26m 1s
Add prettier to ./hooks/pre-commit setup latest #427: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 6m 19s main
main
August 21, 2024 15:32 6m 19s
Add prettier to ./hooks/pre-commit minimal #168: Commit 4113960 pushed by wenkokke
August 21, 2024 15:32 33s main
main
August 21, 2024 15:32 33s
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
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
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) complex #167: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 31m 13s main
main
August 21, 2024 14:28 31m 13s
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