diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/contributing.md | 4 | ||||
| -rw-r--r-- | docs/contributing/development_tools.md | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/docs/contributing.md b/docs/contributing.md index daabcf055..14af3f6aa 100644 --- a/docs/contributing.md +++ b/docs/contributing.md @@ -42,8 +42,8 @@ Examples of bad PR title: 2. Ensure there is a related issue and it is referenced in the PR text. 3. Ensure there are tests that cover the changes. 4. Ensure `cargo test` passes. -5. Ensure `./tools/format.py` passes without changing files. -6. Ensure `./tools/lint.py` passes. +5. Ensure `./tools/format.js` passes without changing files. +6. Ensure `./tools/lint.js` passes. ## Changes to `third_party` diff --git a/docs/contributing/development_tools.md b/docs/contributing/development_tools.md index db6f9a25a..a11e7beff 100644 --- a/docs/contributing/development_tools.md +++ b/docs/contributing/development_tools.md @@ -23,13 +23,13 @@ cargo test std_tests Lint the code: ```shell -./tools/lint.py +deno run -A --unstable ./tools/lint.js ``` Format the code: ```shell -./tools/format.py +deno run -A --unstable ./tools/format.js ``` ### Profiling |