diff options
| author | Simon Sapin <simon.sapin@exyr.org> | 2019-10-24 10:27:04 +0200 |
|---|---|---|
| committer | Simon Sapin <simon.sapin@exyr.org> | 2019-10-24 10:30:25 +0200 |
| commit | c8a49baa801d4ff445c61211b339812065709660 (patch) | |
| tree | 51cec09d8f320fd7bfab0620516ce33a21ef250d /components/script/dom/bindings/codegen/parser/tests/test_interfacemixin.py | |
| parent | dc8be8f2825b7de873bf442aeb4a5dd0ed88d4b1 (diff) | |
| download | servo-c8a49baa801d4ff445c61211b339812065709660.tar.gz servo-c8a49baa801d4ff445c61211b339812065709660.zip | |
Add `./mach test-tidy --no-wpt`, for a git pre-push hook
Disabling WPT manifest checking brings the time it takes to run tidy
for ~11 seconds to ~3 seconds, which feels reasonable to have in a
git pre-push hook.
This can help avoid forgetting to run tidy before opening a PR.
```
$ chmod +x .git/hooks/pre-push
$ cat .git/hooks/pre-push
#!/bin/sh
set -e
./mach test-tidy --no-wpt
```
Diffstat (limited to 'components/script/dom/bindings/codegen/parser/tests/test_interfacemixin.py')
0 files changed, 0 insertions, 0 deletions