Make a release · Workflow runs · semigroups/Semigroups · GitHub

Actions

All workflows
Workflows
- Make a release Make a release
- Standard tests Standard tests
- clang-format clang-format
- codespell codespell
- Configuration options Configuration options
- Dependabot Updates Dependabot Updates
- Extended tests Extended tests
- Lint Lint
- Manual Manual
- pages-build-deployment pages-build-deployment
Management
- Caches
- Deployments

Make a release

Actions

Loading...
Loading

release-pkg.yml

2 workflow runs

2 workflow runs

Make a release Make a release #2: Manually run by james-d-mitchell

4m 35s main

main

4m 35s

Make a release Make a release #1: Manually run by james-d-mitchell

3m 23s stable-5.6

stable-5.6

3m 23s