Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix version resolution in AutoloadSymbols #23936

Closed
wants to merge 1 commit into from

Conversation

fmeum
Copy link
Collaborator

@fmeum fmeum commented Oct 10, 2024

The logic picked the first instead of the highest version due to a typo.

The logic picked the first instead of the highest version due to a typo.
@fmeum
Copy link
Collaborator Author

fmeum commented Oct 10, 2024

@bazel-io flag

@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Oct 10, 2024
@bazel-io bazel-io added the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Oct 10, 2024
@fmeum
Copy link
Collaborator Author

fmeum commented Oct 10, 2024

@cushon FYI, IntelliJ flagged this, but I wonder whether there is an errorprone check for it that could have prevented this issue.

Copy link
Member

@meteorcloudy meteorcloudy left a comment

Choose a reason for hiding this comment

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

Oh, thanks!!

@meteorcloudy
Copy link
Member

Not sure how hard it would be to add a test for this?

@meteorcloudy meteorcloudy added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Oct 10, 2024
@cushon
Copy link
Contributor

cushon commented Oct 10, 2024

@cushon FYI, IntelliJ flagged this, but I wonder whether there is an errorprone check for it that could have prevented this issue.

I don't think we have one, but it's a good idea, I filed a FR

@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Oct 10, 2024
@fmeum fmeum deleted the patch-11 branch October 10, 2024 19:34
@iancha1992
Copy link
Member

@bazel-io fork 8.0.0

@bazel-io bazel-io removed the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Oct 10, 2024
bazel-io pushed a commit to bazel-io/bazel that referenced this pull request Oct 10, 2024
The logic picked the first instead of the highest version due to a typo.

Closes bazelbuild#23936.

PiperOrigin-RevId: 684528776
Change-Id: Ic61c84ca2f3489e43fc71944824e7e2311543ab9
@fmeum
Copy link
Collaborator Author

fmeum commented Oct 11, 2024

@bazel-io fork 7.4.0

github-merge-queue bot pushed a commit that referenced this pull request Oct 11, 2024
The logic picked the first instead of the highest version due to a typo.

Closes #23936.

PiperOrigin-RevId: 684528776
Change-Id: Ic61c84ca2f3489e43fc71944824e7e2311543ab9

Commit
4e6a28a

Co-authored-by: Fabian Meumertzheim <[email protected]>
comius pushed a commit to comius/bazel that referenced this pull request Oct 14, 2024
The logic picked the first instead of the highest version due to a typo.

Closes bazelbuild#23936.

PiperOrigin-RevId: 684528776
Change-Id: Ic61c84ca2f3489e43fc71944824e7e2311543ab9
github-merge-queue bot pushed a commit that referenced this pull request Oct 14, 2024
The logic picked the first instead of the highest version due to a typo.

Closes #23936.

PiperOrigin-RevId: 684528776
Change-Id: Ic61c84ca2f3489e43fc71944824e7e2311543ab9

Co-authored-by: Fabian Meumertzheim <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants