summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2024-05-01 20:32:40 +0200
committerRémi Verschelde <rverschelde@gmail.com>2024-05-01 20:32:40 +0200
commit92e726d8dc27d9f9b377224d6fa776b0d42ca5c2 (patch)
tree35d132a0e80d80e095a6bb0e28e177e06ed1f297
parentaa79d1730527f1bfeaceadcc0c27635b7289b2bc (diff)
parentaa3ad1889fa6306476a0f6df804072ef5d99aea8 (diff)
downloadredot-engine-92e726d8dc27d9f9b377224d6fa776b0d42ca5c2.tar.gz
Merge pull request #91417 from Repiteo/buildsystem/speedup-static-check
CI: Speedup `pre-commit` static check
-rw-r--r--.github/workflows/static_checks.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml
index 0ed7432833..9b8a86b8e7 100644
--- a/.github/workflows/static_checks.yml
+++ b/.github/workflows/static_checks.yml
@@ -48,6 +48,8 @@ jobs:
- name: Style checks via pre-commit
uses: pre-commit/action@v3.0.1
+ with:
+ extra_args: --verbose --files ${{ env.CHANGED_FILES }}
- name: File formatting checks (file_format.sh)
run: |