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

media/video-remote-control-playpause.html frequently fails on the bots #16840

Conversation

@aestes aestes self-assigned this Aug 18, 2023
@aestes aestes added the Media Bugs related to the HTML 5 Media elements. label Aug 18, 2023
@aestes aestes force-pushed the eng/mediavideo-remote-control-playpause-html-frequently-fails-on-the-bots branch from 616b4ba to e6a8ffd Compare August 18, 2023 17:55
@aestes aestes added the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label Aug 18, 2023
@aestes aestes removed the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label Aug 18, 2023
@aestes aestes force-pushed the eng/mediavideo-remote-control-playpause-html-frequently-fails-on-the-bots branch from e6a8ffd to 312f6d5 Compare August 18, 2023 18:00
@aestes aestes added the unsafe-merge-queue Applied to send a pull request to merge-queue, but skip building and testing label Aug 18, 2023
https://bugs.webkit.org/show_bug.cgi?id=130490
rdar://114097537

Unreviewed. Marked media/video-remote-control-playpause.html as a test that can pass, time out, or crash.

* LayoutTests/platform/mac/TestExpectations:

Canonical link: https://commits.webkit.org/267046@main
@webkit-commit-queue webkit-commit-queue force-pushed the eng/mediavideo-remote-control-playpause-html-frequently-fails-on-the-bots branch from 312f6d5 to 662d6eb Compare August 18, 2023 18:03
@webkit-commit-queue
Copy link
Collaborator

Committed 267046@main (662d6eb): https://commits.webkit.org/267046@main

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

@webkit-commit-queue webkit-commit-queue merged commit 662d6eb into WebKit:main Aug 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 Aug 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Media Bugs related to the HTML 5 Media elements.
Projects
None yet
3 participants