Skip to content
Wrap releases

FIX: wreath product with trivial group contains trivial generators #5285

Sign in to view logs

FIX: wreath product with trivial group contains trivial generators

FIX: wreath product with trivial group contains trivial generators #5285

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Validate release scripts
20s
Create Unix archives and data
12m 6s
Create Windows x86_64 installer
59m 42s
Send Slack notification on status change
0s
1h 12m 8s