Skip to content

Conversation

shameekganguly
Copy link
Contributor

Forward port of #698.

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

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.

Signed-off-by: Shameek Ganguly <shameek@intrinsic.ai>
Copy link
Member

@scpeters scpeters left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks!

@github-project-automation github-project-automation bot moved this from Inbox to In review in Core development Oct 9, 2025
@shameekganguly shameekganguly merged commit 89d1ff7 into main Oct 9, 2025
13 checks passed
@shameekganguly shameekganguly deleted the shameek/bazel_main branch October 9, 2025 22:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants