fix: restore green main, and add the CI that would have caught it - #16

Merged

yujiezhang-ops merged 3 commits into

mainfrom

fix/restore-green-main

Aug 4, 2026

Commits on Aug 4, 2026

fix: restore the files 4d63d75 deleted while leaving their references

yujiezhang-ops
and
claude
committed
fac25e5
ci: run tests and the build on every pull request

yujiezhang-ops
and
claude
committed
ba79c3d
test: stop the region probe test depending on the host OS

yujiezhang-ops
and
claude
committed
2deea18