Skip to content

chore(main): release 1.13.3#163

Merged
ross-rl merged 1 commit into
mainfrom
release-please--branches--main--components--rl-cli
Mar 9, 2026
Merged

chore(main): release 1.13.3#163
ross-rl merged 1 commit into
mainfrom
release-please--branches--main--components--rl-cli

Conversation

@github-actions

@github-actions github-actions Bot commented Mar 9, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.13.3 (2026-03-09)

Bug Fixes

  • benchmark: set default agent timeout -> 2 hours (#162) (869fb89)

This PR was generated with Release Please. See documentation.

@ross-rl ross-rl merged commit 3190c76 into main Mar 9, 2026
3 checks passed
@ross-rl ross-rl deleted the release-please--branches--main--components--rl-cli branch March 9, 2026 18:38
@github-actions

github-actions Bot commented Mar 9, 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