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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Configuration options
Configuration options #1165: Scheduled
17m 44s main
Manual
Manual #3350: Scheduled
4m 0s main
Standard tests
Standard tests #477: Scheduled
56m 3s main
Workspaces
Workspaces #1757: Scheduled
9m 15s main
clang-format
clang-format #2100: Scheduled
13s main
Lint
Lint #3350: Scheduled
26s main
Extended tests
Extended tests #248: Scheduled
30m 11s main
Configuration options
Configuration options #1163: Scheduled
17m 41s main
Manual
Manual #3348: Scheduled
3m 46s main
Standard tests
Standard tests #475: Scheduled
53m 56s main
Workspaces
Workspaces #1755: Scheduled
14m 43s main
clang-format
clang-format #2098: Scheduled
14s main
Lint
Lint #3348: Scheduled
24s main
Extended tests
Extended tests #247: Scheduled
33m 4s main
pages build and deployment
pages-build-deployment #29: by github-pages bot
45s gh-pages
45s
Make a release
Make a release #3: Manually run by james-d-mitchell
4m 24s stable-5.6