Skip to content

bigloo: update sha #216471

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

Merged
merged 2 commits into from
May 4, 2025
Merged

bigloo: update sha #216471

merged 2 commits into from
May 4, 2025

Conversation

chenrui333
Copy link
Member

  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing HOMEBREW_NO_INSTALL_FROM_API=1 brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

@chenrui333 chenrui333 added upstream issue An upstream issue report is needed checksum mismatch SHA-256 doesn't match the download CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds. labels Mar 25, 2025
@github-actions github-actions bot added the java Java use is a significant feature of the PR or issue label Mar 25, 2025
Copy link
Contributor

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.

@github-actions github-actions bot added the stale No recent activity label Apr 16, 2025
@chenrui333
Copy link
Member Author

upstream seems not responsive on this, and it blocks the linux arm bottle, I suggest that we can just update the sha.

@github-actions github-actions bot removed the stale No recent activity label Apr 23, 2025
@chenrui333 chenrui333 requested a review from a team April 23, 2025 03:27
@chenrui333 chenrui333 added the maintainer feedback Additional maintainers' opinions may be needed label Apr 23, 2025
Copy link
Member

@MikeMcQuaid MikeMcQuaid left a comment

Choose a reason for hiding this comment

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

Fine with me on this occasion.

@daeho-ro daeho-ro added the CI-checksum-change-confirmed A checksum change was confirmed by upstream label Apr 23, 2025
@bevanjkay
Copy link
Member

Looks like the checksum has changed again, can replicate that it is different locally.

==> sharemote https://www-sop.inria.fr/indes/fp/Bigloo/download/bigloo-4.6a.tar.gz                                                                                                               
9705ec3de00cc1c51ee7699894841a3770c06a874215b45635b8844ae6daf0a6

@daeho-ro daeho-ro force-pushed the bigloo-linux-arm branch from d60ad94 to 82a0785 Compare May 1, 2025 13:52
Signed-off-by: Rui Chen <[email protected]>
@daeho-ro daeho-ro force-pushed the bigloo-linux-arm branch from 82a0785 to 6ff3542 Compare May 1, 2025 13:55
@daeho-ro daeho-ro added the ready to merge PR can be merged once CI is green label May 1, 2025
@bevanjkay bevanjkay enabled auto-merge May 4, 2025 08:25
@bevanjkay bevanjkay removed the upstream issue An upstream issue report is needed label May 4, 2025
@bevanjkay bevanjkay disabled auto-merge May 4, 2025 08:27
Copy link
Contributor

github-actions bot commented May 4, 2025

🤖 An automated task has requested bottles to be published to this PR.

Please do not push to this PR branch before the bottle commits have been pushed, as this results in a state that is difficult to recover from. If you need to resolve a merge conflict, please use a merge commit. Do not force-push to this PR branch.

@github-actions github-actions bot added the CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. label May 4, 2025
@BrewTestBot BrewTestBot enabled auto-merge May 4, 2025 08:30
@BrewTestBot BrewTestBot added this pull request to the merge queue May 4, 2025
Merged via the queue into master with commit 9013d1f May 4, 2025
17 checks passed
@BrewTestBot BrewTestBot deleted the bigloo-linux-arm branch May 4, 2025 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
checksum mismatch SHA-256 doesn't match the download CI-checksum-change-confirmed A checksum change was confirmed by upstream CI-no-fail-fast Continue CI tests despite failing GitHub Actions matrix builds. CI-published-bottle-commits The commits for the built bottles have been pushed to the PR branch. java Java use is a significant feature of the PR or issue maintainer feedback Additional maintainers' opinions may be needed ready to merge PR can be merged once CI is green
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants