add Eio_unix.Sockopt for setting/getting socket options #1271
Triggered via pull request
September 27, 2025 20:13
avsm
Status
Success
Total duration
17m 28s
Artifacts
–
main.yml
on: pull_request
windows
17m 25s
docker
4m 52s
Matrix: build
Annotations
1 notice
|
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
|