Skip to content

chore(main): release brigade 1.25.2#76

Merged
Bhasvanth-Dev9380 merged 1 commit into
mainfrom
release-please--branches--main--components--brigade
Jul 7, 2026
Merged

chore(main): release brigade 1.25.2#76
Bhasvanth-Dev9380 merged 1 commit into
mainfrom
release-please--branches--main--components--brigade

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.25.2 (2026-07-07)

Bug Fixes

  • tui: close the audit findings on the animation gate and header ladder (3c3a7e0)
  • tui: pause the intro clip while the terminal window is unfocused (ab1ef9c)
  • update: clean-rebuild dist and verify the PATH binary after upgrade (8223440)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot added the autorelease: pending Release-Please: pending release label Jul 7, 2026
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--brigade branch from fe70397 to 59d7d2e Compare July 7, 2026 04:56
@Bhasvanth-Dev9380
Bhasvanth-Dev9380 merged commit 265e64f into main Jul 7, 2026
2 checks passed
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

@github-actions github-actions Bot added autorelease: tagged Release-Please: tagged release and removed autorelease: pending Release-Please: pending release labels Jul 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

autorelease: tagged Release-Please: tagged release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant