Skip to content

Test windows support#87

Open
tmcgilchrist wants to merge 11 commits into
tarides:mainfrom
tmcgilchrist:windows-ci
Open

Test windows support#87
tmcgilchrist wants to merge 11 commits into
tarides:mainfrom
tmcgilchrist:windows-ci

Conversation

@tmcgilchrist

@tmcgilchrist tmcgilchrist commented Mar 26, 2026

Copy link
Copy Markdown
Collaborator

@tmcgilchrist tmcgilchrist force-pushed the windows-ci branch 5 times, most recently from ef4e777 to e7fd279 Compare March 30, 2026 21:25
Add windows-latest to the CI matrix (OCaml 5.3 only). Remove
`available: os != "win32"` from opam templates.
More robust means retry cursor, tolerate corrupt stream when process
is shutdown. Provide a Windows utility to get the process_id back from
the cursor handle. Windows is not Unix and Unix.create_process_env
returns a handle on Windows not the PID.
On Windows, Unix.kill takes a PID (uses OpenProcess) but Unix.waitpid
takes the HANDLE returned by create_process (different values aka
not-unix). The old code had it backwards in both places.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant