Skip to content

Manual forward port of: Bazel updates (#562)#565

Merged
shameekganguly merged 1 commit intomainfrom
shameek/bazel_fport
Dec 12, 2025
Merged

Manual forward port of: Bazel updates (#562)#565
shameekganguly merged 1 commit intomainfrom
shameek/bazel_fport

Conversation

@shameekganguly
Copy link
Copy Markdown
Contributor

The change had to be amended to apply it on main. Specifically, the repo archive_overrides in MODULE.bazel for gz deps was removed in that PR on the Jetty branch, but we want to preserve it on main to ensure CI uses gz deps from HEAD.

-- Original PR description
Few fixes in MODULE.bazel as pre-work to add automation to push new releases to BCR:

  • Add compatibility_level to match what is set in BCR
  • Add builidifier linting for consistent formatting of bazel files.
  • Added docstring for gz_sensor_library.bzl
  • Bumped rules_cc to 0.2.14 as indicated in resolved bazel build graph

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

Few fixes in MODULE.bazel as pre-work to add automation to push new releases to BCR:

- Remove archive_override for gazebo package deps and use Jetty packages from BCR instead. As a result, bazel CI will use released versions of gz deps, which is consistent with cmake CI.
- Add compatibility_level to match what is set in BCR
- Add builidifier linting for consistent formatting of bazel files.
- Added docstring for gz_sensor_library.bzl
- Bumped rules_cc to 0.2.14 as indicated in resolved bazel build graph

Signed-off-by: Shameek Ganguly <shameek@intrinsic.ai>
@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Dec 11, 2025
@shameekganguly shameekganguly merged commit f587e48 into main Dec 12, 2025
14 checks passed
@shameekganguly shameekganguly deleted the shameek/bazel_fport branch December 12, 2025 00:08
@github-project-automation github-project-automation bot moved this from In review to Done in Core development Dec 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants