Skip to content

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

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. #3946

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

release.yml

on: pull_request
Create Unix archives and data
21m 26s
Create Unix archives and data
Create Windows x86_64 installer
58m 19s
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