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

Merge branch 'stable-5.6'
Configuration options #1228: Commit 5eb8306 pushed by james-d-mitchell
17m 11s main
Merge branch 'stable-5.6'
Standard tests #540: Commit 5eb8306 pushed by james-d-mitchell
47m 29s main
Merge branch 'stable-5.6'
Workspaces #1820: Commit 5eb8306 pushed by james-d-mitchell
8m 33s main
pages build and deployment
pages-build-deployment #30: by github-pages Bot
33s gh-pages
33s
Make a release
Make a release #4: Manually run by james-d-mitchell
3m 58s stable-5.6
Release candidate for v5.6.3
Configuration options #1226: Pull request #1182 opened by james-d-mitchell
17m 1s rc-v5.6.3