Suggest a faster tidy.

[jdm]

Thank you for contributing to Servo! Please replace each [ ] by [X] when the step is complete, and replace __ with appropriate data:

• ./mach build -d does not report any errors
• ./mach test-tidy does not report any errors
• These changes fix #__ (github issue number if applicable).

Either:

• There are tests for these changes OR
• These changes do not require tests because documentation update.

Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process.

---

This change is

[KiChjang]

So I have some reservations about this, because some PRs do add WPT tests, and sometimes people did not know how to use ./mach create-wpt to generate them. Running ./mach test-tidy would at least catch the missing <link>s on the new WPT test file, which would otherwise be generated by create-wpt.

[Ms2ger]

@KiChjang I'm afraid you don't have a clue what you're talking about. --faster has included the wpt lint since #9394.

@bors-servo r+

[bors-servo]

📌 Commit 27d7d94 has been approved by Ms2ger

[KiChjang]

@bors-servo r-

In which case, we should just do away the --faster option and make it the default, and add in something like --all-wpt when we want to check tidy rules against all WPT files.

[jdm]

@KiChjang This is directly addressing a complaint that @nox had about the current template. I'd rather file your suggestion as a separate issue, since it involves modifying various CI files as well as the implementation.

[KiChjang]

@bors-servo r+

Fine by me.

[bors-servo]

📌 Commit 27d7d94 has been approved by KiChjang

[bors-servo]

⌛ Testing commit 27d7d94 with merge 87fd387...

[bors-servo]

☀️ Test successful - android, arm32, arm64, linux-dev, linux-rel, mac-dev-unit, mac-rel-css, mac-rel-wpt, windows

[wafflespeanut]

heh, given #11217, we're gonna revert this soon :)