Skip to content

Commit 4faa282

Browse files
authored
Update pre-push hook and remove stale comments. NFC (#26919)
Should have been part of #26559. I failed to follow the advice in the comment :)
1 parent af5266c commit 4faa282

2 files changed

Lines changed: 0 additions & 3 deletions

File tree

.circleci/config.yml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -533,7 +533,6 @@ jobs:
533533
- run: tools/maint/check_emcc_help_text.py
534534
- run: make -C site html
535535
ruff:
536-
# Keep in sync with ruff commands in tools/maint/pre-push
537536
executor: ubuntu-lts
538537
steps:
539538
- checkout

tools/maint/pre-push

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,4 @@
66

77
set -o errexit
88

9-
# Keep these check in sync with `ruff` rule in .circleci/config.yml
109
ruff check -q
11-
ruff check --preview --select=E20,E30,E221,E225,E226

0 commit comments

Comments
 (0)