mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2025-06-09 09:34:57 +09:00
Meta: pre-commit should run lint-ports.py only when Ports change
Most of the existing lint-ing shell scripts have the ability to only run on the files which have actually changed. The new port lint-ing script doesn't have this functionality unfortunately. This forces us to lint ALL the ports on every single change to any other file in the system if you have the pre-commit hook setup for your git clone locally. Instead we can use pre-commit's feature to only run a hook if certain files have changed to reduce the situations in which we would run the Meta/lint-ports.py script.
This commit is contained in:
parent
7bd796b7e3
commit
f91bfe8009
Notes:
sideshowbarker
2024-07-18 18:51:48 +09:00
Author: https://github.com/bgianfo
Commit: f91bfe8009
Pull-request: https://github.com/SerenityOS/serenity/pull/6755
Reviewed-by: https://github.com/linusg
2 changed files with 29 additions and 1 deletions
|
@ -4,4 +4,12 @@ repos:
|
|||
- id: meta-lint-ci
|
||||
name: Running Meta/lint-ci.sh to ensure changes will pass linting on CI
|
||||
entry: bash Meta/lint-ci.sh
|
||||
args: [ --no-ports ]
|
||||
language: system
|
||||
|
||||
- id: meta-lint-ports
|
||||
name: Running Meta/lint-ports.py to ensure changes will pass linting on CI
|
||||
entry: Meta/lint-ports.py
|
||||
pass_filenames: false
|
||||
files: ^Ports/
|
||||
language: system
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue