add Eio_unix.Sockopt for setting/getting socket options #1273
Triggered via pull request
September 28, 2025 21:34
avsm
Status
Success
Total duration
5m 43s
Artifacts
–
main.yml
on: pull_request
windows
5m 34s
docker
4m 55s
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
|