What's Changed
Other Changes
- fix: repair v0.2.6 release workflow by @bb-connor in #199
- fix: build npm release workspaces in dependency order by @bb-connor in #200
- fix: prebuild wasm workspace for npm release tests by @bb-connor in #201
- feat(formal-verification): formally verified policy enforcement with Lean 4, Z3, and Aeneas by @bb-connor in #202
- fix(openclaw): repair tool_result_persist sync hook for v0.2.7 by @bb-connor in #205
- chore(release): cut v0.2.7 by @bb-connor in #206
- fix(release): build hush bin explicitly on windows by @bb-connor in #207
- fix(readme): keep hero sigils attached to labels by @bb-connor in #208
- fix(release): use strawberry perl for windows release builds by @bb-connor in #209
- fix(release): unblock remaining Windows release lanes by @bb-connor in #210
Full Changelog: v0.2.6...v0.2.7