Skip to content

[bazel] Bump default bazel version to 9.1.1 (backport #212) - #213

Merged
shameekganguly merged 1 commit into
gz-plugin4from
mergify/bp/gz-plugin4/pr-212
Jul 6, 2026
Merged

[bazel] Bump default bazel version to 9.1.1 (backport #212)#213
shameekganguly merged 1 commit into
gz-plugin4from
mergify/bp/gz-plugin4/pr-212

Conversation

@mergify

@mergify mergify Bot commented Jul 6, 2026

Copy link
Copy Markdown
Contributor

🎉 New feature

Summary

Bump bazel version to 9.1.1. Some deps need to be updated.

Backport Policy

  • This is safe to backport to the following versions:
    • Jetty
    • Ionic
    • Harmonic
    • Fortress
  • This should not be backported
  • I am not sure
  • Other (fill in yourself)

Test it

bazel build ...

Checklist

  • Signed all commits for DCO
  • Added a screen capture or video to the PR description that demonstrates the feature
  • Added tests
  • Added example and/or tutorial
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • Updated Bazel files (if adding new files). Created an issue otherwise.
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Generated-by: Gemini 3.5 Flash

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

Backports: If this is a backport, please use Rebase and Merge instead.


This is an automatic backport of pull request #212 done by Mergify.

Signed-off-by: Shameek Ganguly <shameek@intrinsic.ai>
(cherry picked from commit 57c3618)
@mergify
mergify Bot requested a review from ahcorde as a code owner July 6, 2026 19:05
@shameekganguly
shameekganguly enabled auto-merge (squash) July 6, 2026 19:05
@shameekganguly
shameekganguly disabled auto-merge July 6, 2026 19:05
@github-actions github-actions Bot added the 🪵 jetty Gazebo Jetty label Jul 6, 2026
@mergify mergify Bot mentioned this pull request Jul 6, 2026
20 tasks
@shameekganguly
shameekganguly enabled auto-merge (rebase) July 6, 2026 19:06
@github-project-automation github-project-automation Bot moved this from Inbox to In review in Core development Jul 6, 2026
@shameekganguly
shameekganguly merged commit 1c46a64 into gz-plugin4 Jul 6, 2026
13 of 14 checks passed
@shameekganguly
shameekganguly deleted the mergify/bp/gz-plugin4/pr-212 branch July 6, 2026 19:09
@github-project-automation github-project-automation Bot moved this from In review to Done in Core development Jul 6, 2026
@shameekganguly shameekganguly mentioned this pull request Jul 7, 2026
19 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants