Skip to content

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. #3945

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted.

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. #3945

Triggered via pull request July 23, 2023 19:06
Status Cancelled
Total duration 1h 17m 21s
Artifacts 2

release.yml

on: pull_request
Create Unix archives and data
22m 31s
Create Unix archives and data
Create Windows x86_64 installer
54m 25s
Create Windows x86_64 installer
Send Slack notification on status change
0s
Send Slack notification on status change
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Create Windows x86_64 installer
Canceling since a higher priority waiting request for 'Wrap releases-refs/pull/5475/merge-true' exists
Create Windows x86_64 installer
The operation was canceled.

Artifacts

Produced during runtime
Name Size
JSON metadata Expired
529 KB
gap Expired
488 MB