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 the OpenBLAS checksum #145

Merged
merged 1 commit into from
Apr 11, 2024
Merged

Fix the OpenBLAS checksum #145

merged 1 commit into from
Apr 11, 2024

Conversation

kpamnany
Copy link
Collaborator

@kpamnany kpamnany commented Apr 10, 2024

Closes JuliaLang#54015.

`diff -r` on the source tree for the original archive vs. the archive
that gets downloaded now shows no changes.
@github-actions github-actions bot added port-to-v1.10 This change should apply to Julia v1.10 builds port-to-master This change should apply to all future Julia builds port-to-v1.9 This change should apply to Julia v1.9 builds labels Apr 10, 2024
@kpamnany kpamnany requested review from Drvi and d-netto April 10, 2024 14:32
@kpamnany kpamnany removed port-to-v1.10 This change should apply to Julia v1.10 builds port-to-master This change should apply to all future Julia builds port-to-v1.9 This change should apply to Julia v1.9 builds labels Apr 10, 2024
@d-netto
Copy link
Member

d-netto commented Apr 10, 2024

Not sure if I got the removal from all labels?

@kpamnany
Copy link
Collaborator Author

We're not tracking master any more, or 1.9, and this PR is for 1.10. The labels need updating.

Copy link
Member

@d-netto d-netto left a comment

Choose a reason for hiding this comment

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

👍

Copy link
Member

@Drvi Drvi left a comment

Choose a reason for hiding this comment

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

Thanks, Kiran!

@kpamnany kpamnany merged commit 4973851 into v1.10.2+RAI Apr 11, 2024
10 checks passed
@kpamnany kpamnany deleted the kp-backport-54017 branch April 11, 2024 12:33
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.

3 participants