FIX: wreath product with trivial group contains trivial generators #5285
Triggered via pull request
October 24, 2024 15:06
FriedrichRober
Status
Success
Total duration
1h 12m 39s
Artifacts
2
release.yml
on: pull_request
Validate release scripts
20s
Send Slack notification on status change
0s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
JSON metadata
Expired
|
551 KB |
|
|
gap
Expired
|
525 MB |
|