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

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
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
Exclude older Agda versions for macOS (>=14) codeql #820: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 3m 44s main
main
August 21, 2024 14:28 3m 44s
Exclude older Agda versions for macOS (>=14) setup latest #426: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 22m 50s main
main
August 21, 2024 14:28 22m 50s
Exclude older Agda versions for macOS (>=14) minimal #167: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 30s main
main
August 21, 2024 14:28 30s
Exclude older Agda versions for macOS (>=14) matrix #167: Commit bd82651 pushed by wenkokke
August 21, 2024 14:28 24m 44s main
main
August 21, 2024 14:28 24m 44s
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 matrix #166: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 28s main
main
August 21, 2024 13:38 28s
Bump versions in matrix sample codeql #819: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 3m 49s main
main
August 21, 2024 13:38 3m 49s
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
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
Bump versions in matrix sample setup latest #425: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 20m 17s main
main
August 21, 2024 13:38 20m 17s
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
Bump versions in matrix sample complex #166: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 31m 9s main
main
August 21, 2024 13:38 31m 9s
Bump versions in matrix sample minimal #166: Commit 1f3aa64 pushed by wenkokke
August 21, 2024 13:38 27s main
main
August 21, 2024 13:38 27s
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 (#218) basic #165: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 1m 12s main
main
August 20, 2024 20:21 1m 12s
Support Agda v2.7.0 (#218) codeql #818: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 4m 9s main
main
August 20, 2024 20:21 4m 9s
Support Agda v2.7.0 (#218) complex #165: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 59m 11s main
main
August 20, 2024 20:21 59m 11s
Support Agda v2.7.0 (#218) setup latest #424: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 44m 32s main
main
August 20, 2024 20:21 44m 32s
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 (#218) matrix #165: Commit 167dcf7 pushed by wenkokke
August 20, 2024 20:21 36m 57s main
main
August 20, 2024 20:21 36m 57s