Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Simplify features #1245

Merged
merged 1 commit into from
Oct 24, 2023
Merged

Simplify features #1245

merged 1 commit into from
Oct 24, 2023

Conversation

hermanventer
Copy link
Contributor

Make it easier to specify the use of a dynamic link to a vcpkg installed Z3.

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • API change with a documentation update
  • Additional test coverage
  • Code cleanup or just keeping up with the latest Rustc nightly

How Has This Been Tested?

./validate.sh vcpkg

[itk] Fix download failure (#34533)

* [itk] Fix download failure

* update version

* remove port-version

* update version

---------

Co-authored-by: vzhli17 <[email protected]>
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Oct 24, 2023
@hermanventer hermanventer merged commit f69b1dc into main Oct 24, 2023
6 checks passed
@hermanventer hermanventer deleted the features branch October 24, 2023 18:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants