Skip to content
Wrap releases

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs #5207

Sign in to view logs

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs

Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs #5207

Validate release scripts

Validate release scripts
succeeded Sep 24, 2024 in 15s