Skip to content

v0.14.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Sep 03:05
· 61 commits to main since this release
v0.14.1
This tag was signed with the committer’s verified signature.
orieg Nicolas Brousse
GPG key ID: 1E928D96DF0CE650
Verified
Learn about vigilant mode.
712239d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Upgrading to v0.14.1

Behaviour changes

  • hook run, hook install, MCP (additive): New hook run --observe (and hook install --observe, which writes it): the check runs but never blocks; what would have blocked is said on stderr, marked as observe mode, and appended to <git dir>/discipline/hook-observe.log. The text an agent reads when a check cannot run now names the reason and gate (discipline could not check this change (reason: tool-missing, gate miri)), in the hook and in MCP check_diff. Migration: None.

The full ledger is in docs/ROADMAP.md.

What's Changed

  • feat(hook): observe mode, and could-not-check reasons named to the agent by @orieg in #233
  • chore(release): bump version to 0.14.1 with its ledger rows by @orieg in #234

Full Changelog: v0.14.0...v0.14.1

Contributors

orieg
Assets 13
Loading