Skip to content

v0.1.7

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Sep 10:04
· 12 commits to master since this release
v0.1.7
d48d08d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Documentation review fixes. Both READMEs gained the missing Security
    section; the API table no longer says «reset-in-finally» (the reset has
    always lived in #[After]). The trait's docblock now shows the explicit
    composition in the order the README mandates — the user's post-conditions
    first, verification second. The stale engine-constraint comment in
    examples/readme-usage.php caught up with ^0.7. AGENTS.md no longer links
    to the retired _plans/UNDERSTUDY-PLAN.md.
Assets 2
Loading