Skip to content
Main workflow

On Windows, fix stdin broken-pipe and blocking domain. Issues #793 and #792. #1233

Sign in to view logs

On Windows, fix stdin broken-pipe and blocking domain. Issues #793 and #792.

On Windows, fix stdin broken-pipe and blocking domain. Issues #793 and #792. #1233

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest, 5.1.x, eio eio_posix eio_main)
5m 57s
docker
5m 24s
windows
13m 15s
24m 36s