Improve the way GAP terminates subprocesses to avoid a race condition that could lead to unwanted warnings or even hangs #5207
Triggered via pull request
September 24, 2024 20:32
fingolfin
Status
Success
Total duration
1h 12m 18s
Artifacts
2
release.yml
on: pull_request
Validate release scripts
15s
Send Slack notification on status change
0s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
JSON metadata
Expired
|
550 KB |
|
|
gap
Expired
|
524 MB |
|