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.

Sign up for GitHub

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

Jump to bottom

verapdf 1.23.169 #128308

Merged
merged 2 commits into from
Apr 13, 2023
Merged

verapdf 1.23.169 #128308

merged 2 commits into from
Apr 13, 2023

Conversation

Porkepix
Copy link
Contributor

Created by brew bump

Created with brew bump-formula-pr.

@github-actions github-actions bot added java Java use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` labels Apr 13, 2023
ZhongRuoyu
ZhongRuoyu previously approved these changes Apr 13, 2023
View reviewed changes
@github-actions
Copy link
Contributor

🤖 A scheduled task has requested bottles to be published to this PR.

@github-actions
Copy link
Contributor

⚠️ Bottle publish failed.

@BrewTestBot BrewTestBot dismissed ZhongRuoyu’s stale review April 13, 2023 22:05

bottle publish failed

@github-actions
Copy link
Contributor

:shipit: @ZhongRuoyu has requested bottles to be published to this PR.

@github-actions
Copy link
Contributor

⚠️ @ZhongRuoyu bottle publish failed.

@ZhongRuoyu
Copy link
Member

ZhongRuoyu commented Apr 13, 2023 •
edited
Loading

API issue? UI said the run was finished. cc @carlocab

Error: The newest workflow run for #128308 is still in progress!
  https://github.com/Homebrew/homebrew-core/actions/runs/4693121394

$ gh api repos/Homebrew/homebrew-core/actions/runs/4693121394 -q .status
in_progress

@github-actions
Copy link
Contributor

:shipit: @ZhongRuoyu has requested bottles to be published to this PR.

@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 Apr 13, 2023
@ZhongRuoyu ZhongRuoyu enabled auto-merge April 13, 2023 23:00
@ZhongRuoyu ZhongRuoyu added this pull request to the merge queue Apr 13, 2023
Merged via the queue into Homebrew:master with commit 0d8587a Apr 13, 2023
@Porkepix Porkepix deleted the bump-verapdf-1.23.169 branch April 14, 2023 04:04
@ZhongRuoyu ZhongRuoyu mentioned this pull request Apr 18, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ZhongRuoyu ZhongRuoyu ZhongRuoyu approved these changes

Assignees
No one assigned
Labels
bump-formula-pr PR was created using `brew bump-formula-pr` 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
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Porkepix @ZhongRuoyu @BrewTestBot