Skip to content

Merge pull request #802 from patricoferris/process-groups #1264

Merge pull request #802 from patricoferris/process-groups

Merge pull request #802 from patricoferris/process-groups #1264

Triggered via push August 21, 2025 12:30
Status Success
Total duration 7m 45s
Artifacts

main.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 notices
windows
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
build (macos-latest, 5, eio eio_posix eio_main)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520