Skip to content

Actions: gap-actions/setup-gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fetch gap release data from GitHub rather than gap-system.org CI #196: Pull request #72 opened by Joseph-Edwards
24m 57s Joseph-Edwards:use-github-hosted-release-data
Joseph-Edwards:use-github-hosted-release-data
24m 57s
github_actions in /. - Update #1230723583 Dependabot Updates #26: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1221201146 Dependabot Updates #25: by dependabot bot
27s main
main
27s
github_actions in /. - Update #1213480984 Dependabot Updates #24: by dependabot bot
28s main
main
28s
Let tar decide on the decompression method (#71) CI #195: Commit 5e2bd7a pushed by stertooy
10m 25s main
main
10m 25s
Let tar decide on the decompression method CI #194: Pull request #71 opened by stertooy
9m 8s stertooy:archive-format
stertooy:archive-format
9m 8s
Revert "Remove hack which builds the IO package (#62)" CI #193: Commit 1bd4673 pushed by fingolfin
11m 35s main
main
11m 35s
Remove hack which builds the IO package (#62) CI #192: Commit 1a2238b pushed by fingolfin
12m 52s main
main
12m 52s
github_actions in /. - Update #1206791950 Dependabot Updates #23: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1199328269 Dependabot Updates #22: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1192950286 Dependabot Updates #21: by dependabot bot
31s main
main
31s
github_actions in /. - Update #1188546036 Dependabot Updates #20: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1182978644 Dependabot Updates #19: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1177370074 Dependabot Updates #18: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1169928722 Dependabot Updates #17: by dependabot bot
34s main
main
34s
Minor cleanup, use ::error:: before throwing exit code 1 (#67) CI #191: Commit 4170b55 pushed by fingolfin
11m 0s main
main
11m 0s
Minor cleanup, use ::error:: before throwing exit code 1 CI #190: Pull request #67 synchronize by stertooy
2m 12s stertooy:cleanup
stertooy:cleanup
2m 12s
Bump actions/checkout from 5 to 6 (#68) CI #189: Commit 1d5bdab pushed by stertooy
10m 7s main
main
10m 7s
Bump actions/checkout from 5 to 6 CI #188: Pull request #68 opened by dependabot bot
8m 4s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
8m 4s
github_actions in /. - Update #1162950138 Dependabot Updates #16: by dependabot bot
29s main
main
29s
Minor cleanup, use ::error:: before throwing exit code 1 CI #187: Pull request #67 opened by stertooy
8m 58s stertooy:cleanup
stertooy:cleanup
8m 58s
github_actions in /. - Update #1154835654 Dependabot Updates #15: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1148002265 Dependabot Updates #14: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1142023693 Dependabot Updates #13: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1135449387 Dependabot Updates #12: by dependabot bot
40s main
main
40s