diff options
| author | Ben Wiederhake <BenWiederhake.GitHub@gmx.de> | 2021-02-13 13:51:52 +0100 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2021-02-15 07:41:16 +0100 |
| commit | ad4d9eaaf994c4887c84c0f581c354ee8adb938c (patch) | |
| tree | 3b0b929fc215aceecef87af386f33fa59854564d /Meta/lint-ci.sh | |
| parent | 87e4bcdf6917c684efa17a1103a15828d77b44bf (diff) | |
| download | serenity-ad4d9eaaf994c4887c84c0f581c354ee8adb938c.zip | |
Meta: Lint AvailablePorts.md
As requested by popular demand ;)
https://github.com/SerenityOS/serenity/pull/5325#discussion_r575657614
Diffstat (limited to 'Meta/lint-ci.sh')
| -rwxr-xr-x | Meta/lint-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Meta/lint-ci.sh b/Meta/lint-ci.sh index ec91e941fd..a2774ae824 100755 --- a/Meta/lint-ci.sh +++ b/Meta/lint-ci.sh @@ -22,6 +22,7 @@ for cmd in \ Meta/lint-ipc-ids.sh \ Meta/lint-keymaps.py \ Meta/lint-shell-scripts.sh \ + Meta/lint-ports.py \ Meta/lint-prettier.sh \ Meta/lint-python.sh; do echo "Running ${cmd}... " |