Skip to content

chore(main): release 1.13.2#161

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

chore(main): release 1.13.2#161
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.2 (2026-03-09)

Bug Fixes

  • benchmark: increase id column so full id visible in bechmark-job.list (#159) (a472f0a)
  • benchmark: remove default agent timeout (#160) (97fcfcc)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main--components--rl-cli branch from bccf274 to d79b60d Compare March 9, 2026 03:37
@ross-rl ross-rl merged commit 350624f 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 04:08
@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