Skip to content

chore(main): release 0.9.0 - #12

Merged
jhermesn merged 1 commit into
mainfrom
release-please--branches--main--components--redocted
Oct 3, 2026
Merged

jhermesn merged 1 commit into
mainfrom
release-please--branches--main--components--redocted

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 3, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.9.0 (2026-10-03)

Features

  • corpus: add newly discovered documentation pages (ff32956)
  • corpus: add newly discovered documentation pages (71e307b)

This PR was generated with Release Please. See documentation.

@jhermesn
jhermesn merged commit 1ce6fec into main Oct 3, 2026
2 checks passed
@jhermesn
jhermesn deleted the release-please--branches--main--components--redocted branch October 3, 2026 23:42
@github-actions

github-actions Bot commented Oct 3, 2026

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