Skip to content

Actions: hulpke/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,232 workflow runs
1,232 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
Wrap releases Wrap releases #2048: Scheduled
1h 44m 58s master
master
1h 44m 58s
Lint Lint #1290: Scheduled
55s master
master
55s
CI CI #2883: Scheduled
33m 20s master
master
33m 20s
Wrap releases Wrap releases #2047: Scheduled
1h 44m 25s master
master
1h 44m 25s
Lint Lint #1289: Scheduled
1m 3s master
master
1m 3s
CI CI #2882: Scheduled
41m 8s master
master
41m 8s
release_notes.py: write into CHANGES.md, support pre-releases (#6501) CI with GAP.jl #27: Commit 0ff3c4f pushed by hulpke
22m 41s master
master
22m 41s
release_notes.py: write into CHANGES.md, support pre-releases (#6501) Lint #1288: Commit 0ff3c4f pushed by hulpke
1m 1s master
master
1m 1s
release_notes.py: write into CHANGES.md, support pre-releases (#6501) Deploy GAP manual to Pages #83: Commit 0ff3c4f pushed by hulpke
12m 6s master
master
12m 6s
release_notes.py: write into CHANGES.md, support pre-releases (#6501) CI #2881: Commit 0ff3c4f pushed by hulpke
38m 31s master
master
38m 31s
release_notes.py: write into CHANGES.md, support pre-releases (#6501) Wrap releases #2046: Commit 0ff3c4f pushed by hulpke
1h 40m 19s master
master
1h 40m 19s
Wrap releases Wrap releases #2045: Scheduled
1h 40m 28s master
master
1h 40m 28s
Lint Lint #1287: Scheduled
51s master
master
51s
CI CI #2880: Scheduled
39m 24s master
master
39m 24s
Wrap releases Wrap releases #2044: Scheduled
1h 43m 8s master
master
1h 43m 8s
Lint Lint #1286: Scheduled
2m 11s master
master
2m 11s
CI CI #2879: Scheduled
1h 0m 26s master
master
1h 0m 26s
Wrap releases Wrap releases #2043: Scheduled
1h 30m 24s master
master
1h 30m 24s
Lint Lint #1285: Scheduled
56s master
master
56s
CI CI #2878: Scheduled
38m 0s master
master
38m 0s
Wrap releases Wrap releases #2042: Scheduled
1h 42m 1s master
master
1h 42m 1s
Lint Lint #1284: Scheduled
1m 23s master
master
1m 23s
CI CI #2877: Scheduled
41m 0s master
master
41m 0s
Wrap releases Wrap releases #2041: Scheduled
1h 41m 27s master
master
1h 41m 27s
Lint Lint #1283: Scheduled
51s master
master
51s