Skip to content

chore(main): release 4.0.1 - #124

Merged
JacobZyy merged 1 commit into
mainfrom
release-please--branches--main--components--jt
Oct 20, 2026
Merged

JacobZyy merged 1 commit into
mainfrom
release-please--branches--main--components--jt

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

4.0.1 (2026-10-20)

Bug Fixes

  • codex: rebuild index when source snapshot is unavailable (bad8175)

This PR was generated with Release Please. See documentation.

@JacobZyy
JacobZyy merged commit fd43d70 into main Oct 20, 2026
2 checks passed
@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