There are no reviewers for this pull request. Please reach out on W3C's irc server (irc.w3.org, port 6665) on channel #testing (web client) to get help with this. Thank you!

The docs building is broken on master now and we should catch it somehow. I used the path filtering to avoid showing it on all PRs, since the list of checks is already quite noisy.

We're currently generating some documentation from files outside of docs/ (and we plan to do still more), so it's possible that a pull request that doesn't touch docs/ could still break the build.

I'm happy to merge this as-is since some visibility is better than no visibility, but I wanted to make sure you were aware of that, first.

Would also depending on tools/ and resources/ be enough right now? As long as the job doesn't trigger on most PRs that just update some tests I think it's fine if it over-triggers in directories that are mostly touched by core maintainers.

Yeah, that sounds good to me!