Skip to content

CP-32622: replace select with Unix.SO_RCVTIMEO #859

CP-32622: replace select with Unix.SO_RCVTIMEO

CP-32622: replace select with Unix.SO_RCVTIMEO #859

Triggered via push November 21, 2023 17:34
Status Success
Total duration 9m 55s
Artifacts

main.yml

on: push
Ocaml tests
9m 42s
Ocaml tests
Deprecation tests
4s
Deprecation tests
Matrix: Python tests
Fit to window
Zoom out
Zoom in