Skip to content

Actions: wenkokke/setup-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1244760933 Dependabot Updates #92: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1237440776 Dependabot Updates #91: by dependabot bot
40s main
main
40s
github_actions in /. - Update #1229720391 Dependabot Updates #90: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1220312366 Dependabot Updates #89: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1212581733 Dependabot Updates #88: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1205902170 Dependabot Updates #87: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1198442423 Dependabot Updates #86: by dependabot bot
1m 2s main
main
1m 2s
github_actions in /. - Update #1192151290 Dependabot Updates #85: by dependabot bot
1m 8s main
main
1m 8s
github_actions in /. - Update #1187664836 Dependabot Updates #84: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1182056576 Dependabot Updates #83: by dependabot bot
40s main
main
40s
github_actions in /. - Update #1176354485 Dependabot Updates #82: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1168711807 Dependabot Updates #81: by dependabot bot
33s main
main
33s
Bump actions/checkout from 4 to 6 build latest #256: Pull request #234 opened by dependabot bot
1d 0h 0m 1s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1d 0h 0m 1s
Bump actions/checkout from 4 to 6 setup legacy #323: Pull request #234 opened by dependabot bot
1d 0h 0m 2s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1d 0h 0m 2s
Bump actions/checkout from 4 to 6 codeql #850: Pull request #234 opened by dependabot bot
1m 28s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
1m 28s
github_actions in /. - Update #1161971752 Dependabot Updates #80: by dependabot bot
43s main
main
43s
github_actions in /. - Update #1161963426 Dependabot Updates #79: by dependabot bot
12s main
main
12s
github_actions in /. - Update #1153841487 Dependabot Updates #78: by dependabot bot
22s main
main
22s
github_actions in /. - Update #1146933210 Dependabot Updates #77: by dependabot bot
37s main
main
37s
github_actions in /. - Update #1141153700 Dependabot Updates #76: by dependabot bot
36s main
main
36s
github_actions in /. - Update #1134505264 Dependabot Updates #75: by dependabot bot
40s main
main
40s
github_actions in /. - Update #1134499013 Dependabot Updates #74: by dependabot bot
1m 12s main
main
1m 12s
github_actions in /. - Update #1128606009 Dependabot Updates #73: by dependabot bot
44s main
main
44s
Bump github/codeql-action from 3 to 4 codeql #849: Pull request #233 opened by dependabot bot
1m 26s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
1m 26s
Bump github/codeql-action from 3 to 4 build latest #255: Pull request #233 opened by dependabot bot
1d 0h 0m 2s dependabot/github_actions/github/codeql-action-4
dependabot/github_actions/github/codeql-action-4
1d 0h 0m 2s