Add CI harness - #9

Merged

disteph merged 14 commits into

codex/github-ci-windows-harness

Apr 30, 2026

Commits on Apr 2, 2026

Commits on Apr 29, 2026

Fix Windows Yices dist path detection
disteph
committed
bf8968e
Update Windows JNI status constants for Yices 2.7
disteph
committed
ee77d75
Align Windows JNI and constructors with Yices 2.7
disteph
committed
96ca981
Add Windows JNI context check exports
disteph
committed
34d1cd2
Complete Windows JNI parity with Unix bindings
disteph
committed
0cf91c3
Enable Yices 2.6.4 features in Windows JNI
disteph
committed
196526a
Bound thread stress test in CI
disteph
committed
2872d1b
Use deterministic CI test baseline
disteph
committed
1b4e564