Skip to content

chore(main): release 0.19.0#356

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

chore(main): release 0.19.0#356
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 29, 2026

🤖 I have created a release beep boop

0.19.0 (2026-04-29)

Features

  • compile: add required_awf_mounts to CompilerExtension for Lean runtime (#354) (f6f437b)
  • engine: update default model to claude-opus-4.7 (#355) (dff681b)

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 cae092d to d2b942b Compare April 29, 2026 15:05
@jamesadevine jamesadevine merged commit d9c5502 into main Apr 29, 2026
@jamesadevine jamesadevine deleted the release-please--branches--main--components--ado-aw branch April 29, 2026 15:20
@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