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
CI: use configflags instead of CONFIGFLAGS codespell #833: Pull request #1176 opened by fingolfin
14s fingolfin:mh/configflags
fingolfin:mh/configflags
14s
CI: use configflags instead of CONFIGFLAGS Configuration options #1179: Pull request #1176 opened by fingolfin
17m 50s fingolfin:mh/configflags
fingolfin:mh/configflags
17m 50s
CI: use configflags instead of CONFIGFLAGS Manual #3364: Pull request #1176 opened by fingolfin
3m 59s fingolfin:mh/configflags
fingolfin:mh/configflags
3m 59s
CI: use configflags instead of CONFIGFLAGS Workspaces #1771: Pull request #1176 opened by fingolfin
2m 6s fingolfin:mh/configflags
fingolfin:mh/configflags
2m 6s
CI: use configflags instead of CONFIGFLAGS Lint #3364: Pull request #1176 opened by fingolfin
35s fingolfin:mh/configflags
fingolfin:mh/configflags
35s
CI: use configflags instead of CONFIGFLAGS Standard tests #491: Pull request #1176 opened by fingolfin
57m 30s fingolfin:mh/configflags
fingolfin:mh/configflags
57m 30s
CI: use configflags instead of CONFIGFLAGS clang-format #2114: Pull request #1176 opened by fingolfin
13s fingolfin:mh/configflags
fingolfin:mh/configflags
13s
Configuration options Configuration options #1178: Scheduled
17m 36s main
main
17m 36s
Manual Manual #3363: Scheduled
4m 10s main
main
4m 10s
Standard tests Standard tests #490: Scheduled
57m 55s main
main
57m 55s
Workspaces Workspaces #1770: Scheduled
2m 0s main
main
2m 0s
clang-format clang-format #2113: Scheduled
11s main
main
11s
Lint Lint #3363: Scheduled
27s main
main
27s
Extended tests Extended tests #259: Scheduled
30m 6s main
main
30m 6s
Configuration options Configuration options #1177: Scheduled
17m 10s main
main
17m 10s
Manual Manual #3362: Scheduled
3m 26s main
main
3m 26s
Standard tests Standard tests #489: Scheduled
44m 11s main
main
44m 11s
Workspaces Workspaces #1769: Scheduled
1m 43s main
main
1m 43s
clang-format clang-format #2112: Scheduled
12s main
main
12s
Lint Lint #3362: Scheduled
28s main
main
28s
Extended tests Extended tests #258: Scheduled
30m 21s main
main
30m 21s
github_actions in /. - Update #1337932626 Dependabot Updates #78: by dependabot Bot
38s main
main
38s
Configuration options Configuration options #1176: Scheduled
18m 0s main
main
18m 0s
Manual Manual #3361: Scheduled
4m 29s main
main
4m 29s
Standard tests Standard tests #488: Scheduled
57m 39s main
main
57m 39s