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.

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

Disable building WebKit extensions for visionOS #21933

Conversation

pvollan
Copy link
Contributor

@pvollan pvollan commented Dec 17, 2023

@pvollan pvollan self-assigned this Dec 17, 2023
@pvollan pvollan added the WebKit Misc. For miscellaneous bugs in the WebKit framework (and not JavaScriptCore or WebCore). label Dec 17, 2023
@webkit-ews-buildbot webkit-ews-buildbot added the merging-blocked Applied to prevent a change from being merged label Dec 17, 2023
@pvollan pvollan removed the merging-blocked Applied to prevent a change from being merged label Dec 18, 2023
@pvollan pvollan force-pushed the eng/Disable-building-WebKit-extensions-for-visionOS branch from e7381eb to 48d74e1 Compare December 18, 2023 06:45
@pvollan pvollan force-pushed the eng/Disable-building-WebKit-extensions-for-visionOS branch from 48d74e1 to c36419e Compare December 18, 2023 06:51
@pvollan pvollan added the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label Dec 18, 2023
@pvollan
Copy link
Contributor Author

pvollan commented Dec 18, 2023

Thanks for reviewing!

https://bugs.webkit.org/show_bug.cgi?id=266546

Reviewed by Tim Horton.

Disable building WebKit extensions for visionOS due to SDK issue.

* Source/WebKit/Configurations/BaseExtension.xcconfig:
* Source/WebKit/Configurations/WebKit.xcconfig:

Canonical link: https://commits.webkit.org/272202@main
@webkit-commit-queue webkit-commit-queue force-pushed the eng/Disable-building-WebKit-extensions-for-visionOS branch from c36419e to c63b681 Compare December 18, 2023 06:54
@webkit-commit-queue
Copy link
Collaborator

Committed 272202@main (c63b681): https://commits.webkit.org/272202@main

Reviewed commits have been landed. Closing PR #21933 and removing active labels.

@webkit-commit-queue webkit-commit-queue merged commit c63b681 into WebKit:main Dec 18, 2023
@webkit-commit-queue webkit-commit-queue removed the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label Dec 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
WebKit Misc. For miscellaneous bugs in the WebKit framework (and not JavaScriptCore or WebCore).
Projects
None yet
5 participants