mirror of
https://github.com/servo/servo.git
synced 2025-07-22 06:43:40 +01:00
tidy: Make sure to run WPT lints when --all
is passed to tidy (#31874)
This also fixes the checked in WPT manifest.
This commit is contained in:
parent
188f3caff1
commit
2463017c49
2 changed files with 2 additions and 2 deletions
|
@ -799,7 +799,7 @@ def run_wpt_lints(only_changed_files: bool):
|
||||||
yield (WPT_CONFIG_INI_PATH, 0, f"{WPT_CONFIG_INI_PATH} is required but was not found")
|
yield (WPT_CONFIG_INI_PATH, 0, f"{WPT_CONFIG_INI_PATH} is required but was not found")
|
||||||
return
|
return
|
||||||
|
|
||||||
if not list(FileList("./tests/wpt", only_changed_files=True, progress=False)):
|
if not list(FileList("./tests/wpt", only_changed_files=only_changed_files, progress=False)):
|
||||||
print("\r ➤ Skipping WPT lint checks, because no relevant files changed.")
|
print("\r ➤ Skipping WPT lint checks, because no relevant files changed.")
|
||||||
return
|
return
|
||||||
|
|
||||||
|
|
|
@ -106868,7 +106868,7 @@
|
||||||
]
|
]
|
||||||
],
|
],
|
||||||
"table-vertical-align-baseline-008.xht": [
|
"table-vertical-align-baseline-008.xht": [
|
||||||
"60079c7ce26491a0d91c8e818a1a7ead406c3a20",
|
"1200ac1ae87c792cf8182072b02f426a0f692433",
|
||||||
[
|
[
|
||||||
null,
|
null,
|
||||||
[
|
[
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue