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

[cgal] update to 5.5.3 #32804

Merged
merged 2 commits into from
Jul 31, 2023
Merged

[cgal] update to 5.5.3 #32804

merged 2 commits into from
Jul 31, 2023

Conversation

lrineau
Copy link
Contributor

@lrineau lrineau commented Jul 28, 2023

  • Changes comply with the maintainer guide
  • SHA512s are updated for each updated download
  • The "supports" clause reflects platforms that may be fixed by this new version
  • Any fixed CI baseline entries are removed from that file.
  • Any patches that are no longer applied are deleted from the port's directory.
  • The version database is fixed by rerunning ./vcpkg x-add-version --all and committing the result.
  • Only one version is added to each modified port's versions file.

@lrineau lrineau mentioned this pull request Jul 28, 2023
Open
96 tasks
@jimwang118 jimwang118 added the category:port-update The issue is with a library, which is requesting update new revision label Jul 31, 2023
@jimwang118
Copy link
Contributor

Usage test pass with following triplets:

x86-windows
x64-windows
x64-windows-static

@jimwang118 jimwang118 added the info:reviewed Pull Request changes follow basic guidelines label Jul 31, 2023
@JavierMatosD JavierMatosD merged commit c7d5bca into microsoft:master Jul 31, 2023
15 checks passed
@lrineau lrineau deleted the cgal-5.5.3 branch August 2, 2023 07:39
@lrineau lrineau changed the title [cgal] update to 5.5.2 [cgal] update to 5.5.3 Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@jimwang118 jimwang118

Labels
category:port-update The issue is with a library, which is requesting update new revision info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@lrineau @jimwang118 @JavierMatosD