Skip to content

chore(main): release 0.12.0#202

Merged
jamesadevine merged 1 commit intomainfrom
release-please--branches--main--components--ado-aw
Apr 15, 2026
Merged

chore(main): release 0.12.0#202
jamesadevine merged 1 commit intomainfrom
release-please--branches--main--components--ado-aw

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Apr 14, 2026

🤖 I have created a release beep boop

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)

This PR was generated with Release Please. See documentation.

@github-actions github-actions bot force-pushed the release-please--branches--main--components--ado-aw branch from a8d3a0f to 887f16c Compare April 14, 2026 20:41
@github-actions github-actions bot changed the title chore(main): release 0.11.1 chore(main): release 0.12.0 Apr 15, 2026
@github-actions github-actions bot force-pushed the release-please--branches--main--components--ado-aw branch 2 times, most recently from 0693cbc to 947b89b Compare April 15, 2026 09:01
@github-actions github-actions bot force-pushed the release-please--branches--main--components--ado-aw branch from 947b89b to b153e06 Compare April 15, 2026 12:41
@jamesadevine jamesadevine merged commit 2c871e5 into main Apr 15, 2026
@jamesadevine jamesadevine deleted the release-please--branches--main--components--ado-aw branch April 15, 2026 13:26
@github-actions
Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant