CI: pin zenoh-flat-jni in a lockfile the org's bot can move, and resolve it in the build - #521

Merged

milyin merged 9 commits into

mainfrom

Aug 10, 2026

Commits on Aug 10, 2026

Resolve zenoh-flat-jni source in the build, not in the workflow
milyin
committed
76cfff2
Move local-build docs from PUBLISHING.md to the README
milyin
committed
0100540
Document the commit pin in CI.md, not in the README
milyin
committed
e46454d
Three ways to build, and Cargo.toml decides one of them
milyin
committed
ea92686
Rename the source-build properties to useLocalJni / localJniDir
milyin
committed
50c908b
Give the pin a second mover, for changes that never touch zenoh
milyin
committed
4f86578
Drop the second updater: the lockfile sync already covers this
milyin
committed
71cecfe
Require a full commit hash for -PlocalJniCommit
milyin
committed
eeda8c0
Finish the port: two spots still described the old behaviour
milyin
committed
1592cf2