v0.2.7
·
4 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
What's Changed
- docs: update spec README CI/release workflow references by @abienkowski in #12
- feat: gate releases on verification + test-parity fixes by @abienkowski in #13
- docs: correct stale test counts and CLI/verification claims by @abienkowski in #14
- fix: run npm ci in ts/ in release-verify gate by @abienkowski in #15
- fix: install Quint in release-verify gate by @abienkowski in #16
Full Changelog: v0.2.6...v0.2.7
Contributors
abienkowski