Skip to content

cgal 5.6#137964

Merged
BrewTestBot merged 2 commits intoHomebrew:masterfrom
chenrui333:bump-cgal-5.6
Jul 29, 2023
Merged

cgal 5.6#137964
BrewTestBot merged 2 commits intoHomebrew:masterfrom
chenrui333:bump-cgal-5.6

Conversation

@chenrui333
Copy link
Copy Markdown
Member

Created by brew bump


Created with brew bump-formula-pr.

@github-actions github-actions bot added bump-formula-pr PR was created using `brew bump-formula-pr` boost Boost use is a significant feature of the PR or issue labels Jul 29, 2023
@github-actions
Copy link
Copy Markdown
Contributor

🤖 An automated task 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 Jul 29, 2023
@BrewTestBot BrewTestBot enabled auto-merge July 29, 2023 11:46
@BrewTestBot BrewTestBot added this pull request to the merge queue Jul 29, 2023
Merged via the queue into Homebrew:master with commit 8d04877 Jul 29, 2023
This was referenced Aug 28, 2023
@github-actions github-actions bot added the outdated PR was locked due to age label Aug 29, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 29, 2023
@chenrui333 chenrui333 deleted the bump-cgal-5.6 branch January 22, 2024 15:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

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. outdated PR was locked due to age

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants