Skip to content

v0.12.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 15 Apr 13:26
v0.12.0
2c871e5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

0.12.0 (2026-04-15)

Features

  • add ecosystem domain allowlists from gh-aw (#213) (22a2069)
  • add Lean 4 runtime support with runtimes: front matter (#208) (16fc9be)
  • standardise front matter sanitization via SanitizeConfig/SanitizeContent traits (#210) (85ac3ab)

Bug Fixes

  • create-pr: skip auto-complete API call on draft PRs (#194) (#200) (d58dbeb)
  • improve trigger.pipeline validation with expression checks and better errors (#189, #188) (#196) (b0ae590)
Assets 5
Loading