Skip to content

Vendor tree construction tests from web-platform-tests/wpt - #794

Merged
jdm merged 1 commit into
servo:mainfrom
andersk:vendor-wpt
Oct 28, 2026
Merged

jdm merged 1 commit into
servo:mainfrom
andersk:vendor-wpt

Conversation

@andersk

@andersk andersk commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

These tests have moved from html5lib-tests to web-platform-tests/wpt, which is too large a repository to reasonably include as a submodule.

Vendor the commit that matches our current html5lib-tests submodule. This isn’t the latest commit, so tomorrow the scheduled GitHub action will auto-generate a pull request that looks like

That pull request will fail CI until we fix those new issues, which is why I’ve left the older commit here.

@github-actions github-actions Bot added the V-non-breaking A non-breaking change label Oct 1, 2026
These tests have moved from html5lib-tests to web-platform-tests/wpt,
which is too large a repository to reasonably include as a submodule.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
@github-actions github-actions Bot added V-non-breaking A non-breaking change and removed V-non-breaking A non-breaking change labels Oct 1, 2026

@jdm jdm left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Really appreciate this work! Thanks!

@jdm
jdm added this pull request to the merge queue Oct 28, 2026
@jdm
jdm removed this pull request from the merge queue due to a manual request Oct 28, 2026
Comment thread .github/workflows/update-wpt.yml Resolved
Comment thread .github/workflows/update-wpt.yml Resolved
@jdm
jdm enabled auto-merge October 28, 2026 12:48
@andersk

andersk commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor Author

secrets.GITHUB_TOKEN is automatically generated. It does not need to be manually created.

Indeed, it’s already in use by the existing .github/workflows/semver-check.yml.

auto-merge was automatically disabled October 28, 2026 12:56

Head branch was pushed to by a user without write access

@github-actions github-actions Bot added V-non-breaking A non-breaking change and removed V-non-breaking A non-breaking change labels Oct 28, 2026
@jdm
jdm enabled auto-merge October 28, 2026 13:10
@jdm
jdm added this pull request to the merge queue Oct 28, 2026
Merged via the queue into servo:main with commit f484812 Oct 28, 2026
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

V-non-breaking A non-breaking change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants