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

github_actions in /. - Update #936593261 Dependabot Updates #24: by dependabot bot
December 23, 2024 03:15 33s main
main
December 23, 2024 03:15 33s
github_actions in /. - Update #932948596 Dependabot Updates #23: by dependabot bot
December 16, 2024 03:12 39s main
main
December 16, 2024 03:12 39s
github_actions in /. - Update #929246645 Dependabot Updates #22: by dependabot bot
December 9, 2024 03:45 42s main
main
December 9, 2024 03:45 42s
github_actions in /. - Update #925420918 Dependabot Updates #21: by dependabot bot
December 2, 2024 03:13 38s main
main
December 2, 2024 03:13 38s
github_actions in /. - Update #921703956 Dependabot Updates #20: by dependabot bot
November 25, 2024 03:39 38s main
main
November 25, 2024 03:39 38s
github_actions in /. - Update #917927348 Dependabot Updates #19: by dependabot bot
November 18, 2024 03:10 41s main
main
November 18, 2024 03:10 41s
github_actions in /. - Update #914473871 Dependabot Updates #18: by dependabot bot
November 11, 2024 03:17 47s main
main
November 11, 2024 03:17 47s
github_actions in /. - Update #910977312 Dependabot Updates #17: by dependabot bot
November 4, 2024 03:56 42s main
main
November 4, 2024 03:56 42s
github_actions in /. - Update #907206153 Dependabot Updates #16: by dependabot bot
October 28, 2024 03:41 40s main
main
October 28, 2024 03:41 40s
github_actions in /. - Update #903750894 Dependabot Updates #15: by dependabot bot
October 21, 2024 03:35 43s main
main
October 21, 2024 03:35 43s
Support for v2.7.0.1 (#224) complex #173: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 31m 19s main
main
October 19, 2024 15:18 31m 19s
Support for v2.7.0.1 (#224) codeql #828: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 3m 56s main
main
October 19, 2024 15:18 3m 56s
Support for v2.7.0.1 (#224) basic #173: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 1m 12s main
main
October 19, 2024 15:18 1m 12s
Support for v2.7.0.1 (#224) minimal #173: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 28s main
main
October 19, 2024 15:18 28s
Support for v2.7.0.1 (#224) matrix #173: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 22m 26s main
main
October 19, 2024 15:18 22m 26s
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 (#224) setup latest #430: Commit 13475d9 pushed by wenkokke
October 19, 2024 15:18 33m 32s main
main
October 19, 2024 15:18 33m 32s
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
Add instructions for releasing numbered versions minimal #172: Commit 52f1e70 pushed by wenkokke
October 19, 2024 11:55 21s main
main
October 19, 2024 11:55 21s
Add instructions for releasing numbered versions matrix #172: Commit 52f1e70 pushed by wenkokke
October 19, 2024 11:55 24m 57s main
main
October 19, 2024 11:55 24m 57s
Add instructions for releasing numbered versions complex #172: Commit 52f1e70 pushed by wenkokke
October 19, 2024 11:55 28m 4s main
main
October 19, 2024 11:55 28m 4s
Add instructions for releasing numbered versions basic #172: Commit 52f1e70 pushed by wenkokke
October 19, 2024 11:55 1m 10s main
main
October 19, 2024 11:55 1m 10s
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 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 codeql #827: Pull request #224 synchronize by wenkokke
October 19, 2024 11:46 1m 28s agda-v2.7.0.1
agda-v2.7.0.1
October 19, 2024 11:46 1m 28s