Skip to content

coal 3.0.3#281006

Merged
BrewTestBot merged 4 commits intomainfrom
bump-coal-3.0.3
May 6, 2026
Merged

coal 3.0.3#281006
BrewTestBot merged 4 commits intomainfrom
bump-coal-3.0.3

Conversation

@BrewTestBot
Copy link
Copy Markdown
Contributor

Created by brew bump


Created with brew bump-formula-pr.

@github-actions github-actions Bot added python Python use is a significant feature of the PR or issue bump-formula-pr PR was created using `brew bump-formula-pr` boost Boost use is a significant feature of the PR or issue labels May 5, 2026
BrewTestBot and others added 2 commits May 5, 2026 19:40
coal: remove build patch for Boost 1.89.0

Signed-off-by: Patrick Linnane <patrick@linnane.io>
@p-linnane p-linnane added the ready to merge PR can be merged once CI is green label May 6, 2026
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 6, 2026

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

Caution

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 6, 2026
@BrewTestBot BrewTestBot enabled auto-merge May 6, 2026 04:28
@BrewTestBot BrewTestBot added this pull request to the merge queue May 6, 2026
Merged via the queue into main with commit cacc8ba May 6, 2026
22 checks passed
@BrewTestBot BrewTestBot deleted the bump-coal-3.0.3 branch May 6, 2026 04:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

boost Boost use is a significant feature of the PR or issue 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. python Python use is a significant feature of the PR or issue ready to merge PR can be merged once CI is green

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants