Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Configuration options Configuration options #1183: Scheduled
17m 29s main
main
17m 29s
Manual Manual #3368: Scheduled
7m 24s main
main
7m 24s
Standard tests Standard tests #495: Scheduled
58m 9s main
main
58m 9s
Workspaces Workspaces #1775: Scheduled
1m 53s main
main
1m 53s
clang-format clang-format #2118: Scheduled
14s main
main
14s
Lint Lint #3368: Scheduled
25s main
main
25s
Extended tests Extended tests #262: Scheduled
34m 1s main
main
34m 1s
Configuration options Configuration options #1182: Scheduled
17m 34s main
main
17m 34s
Manual Manual #3367: Scheduled
3m 35s main
main
3m 35s
Standard tests Standard tests #494: Scheduled
55m 29s main
main
55m 29s
Workspaces Workspaces #1774: Scheduled
1m 59s main
main
1m 59s
clang-format clang-format #2117: Scheduled
13s main
main
13s
Lint Lint #3367: Scheduled
27s main
main
27s
Extended tests Extended tests #261: Scheduled
40m 48s main
main
40m 48s
CI: use configflags instead of CONFIGFLAGS Workspaces #1773: Commit 177ec1b pushed by james-d-mitchell
3m 16s main
main
3m 16s
CI: use configflags instead of CONFIGFLAGS Lint #3366: Commit 177ec1b pushed by james-d-mitchell
30s main
main
30s
CI: use configflags instead of CONFIGFLAGS Configuration options #1181: Commit 177ec1b pushed by james-d-mitchell
17m 42s main
main
17m 42s
CI: use configflags instead of CONFIGFLAGS Standard tests #493: Commit 177ec1b pushed by james-d-mitchell
58m 25s main
main
58m 25s
CI: use configflags instead of CONFIGFLAGS Manual #3366: Commit 177ec1b pushed by james-d-mitchell
3m 37s main
main
3m 37s
CI: use configflags instead of CONFIGFLAGS clang-format #2116: Commit 177ec1b pushed by james-d-mitchell
19s main
main
19s
CI: use configflags instead of CONFIGFLAGS codespell #834: Commit 177ec1b pushed by james-d-mitchell
23s main
main
23s
Configuration options Configuration options #1180: Scheduled
18m 10s main
main
18m 10s
Manual Manual #3365: Scheduled
3m 42s main
main
3m 42s
Workspaces Workspaces #1772: Scheduled
1m 55s main
main
1m 55s
Standard tests Standard tests #492: Scheduled
56m 23s main
main
56m 23s