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

opencascade 7.7.2 #137364

Merged
merged 4 commits into from
Jul 25, 2023
Merged

opencascade 7.7.2 #137364

merged 4 commits into from
Jul 25, 2023

Conversation

chenrui333
Copy link
Member

Created with brew bump-formula-pr.

@github-actions github-actions bot added the bump-formula-pr PR was created using `brew bump-formula-pr` label Jul 23, 2023
@branchvincent branchvincent force-pushed the bump-opencascade-7.7.2 branch from 8c21e55 to 4c81a28 Compare July 24, 2023 01:10
@github-actions github-actions bot added the autosquash Automatically squash pull request commits according to Homebrew style. label Jul 24, 2023
@alebcay alebcay force-pushed the bump-opencascade-7.7.2 branch from 7d86fd9 to 8954c40 Compare July 24, 2023 13:32
@github-actions github-actions bot removed the autosquash Automatically squash pull request commits according to Homebrew style. label Jul 24, 2023
@alebcay @chenrui333
gmsh: revision bump for opencascade 7.7.2
9fce9f2 
gmsh: add build patch for xcode 14.3

Signed-off-by: Rui Chen <[email protected]>
@chenrui333 chenrui333 force-pushed the bump-opencascade-7.7.2 branch from 8954c40 to 9fce9f2 Compare July 24, 2023 15:13
@chenrui333 chenrui333 added the ready to merge PR can be merged once CI is green label Jul 25, 2023
@github-actions
Copy link
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 25, 2023
@BrewTestBot BrewTestBot enabled auto-merge July 25, 2023 09:26
@BrewTestBot BrewTestBot added this pull request to the merge queue Jul 25, 2023
Merged via the queue into Homebrew:master with commit a5097b5 Jul 25, 2023
@chenrui333 chenrui333 mentioned this pull request Jul 25, 2023
Merged
@chenrui333 chenrui333 deleted the bump-opencascade-7.7.2 branch July 25, 2023 12:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@github-actions github-actions[bot] github-actions[bot] approved these changes

@SMillerDev SMillerDev SMillerDev 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. ready to merge PR can be merged once CI is green
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@chenrui333 @SMillerDev @BrewTestBot @alebcay