Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nodejs/node.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAntoine du Hamel <duhamelantoine1995@gmail.com>2020-11-11 02:26:07 +0300
committerAntoine du Hamel <duhamelantoine1995@gmail.com>2020-12-17 01:45:26 +0300
commit0e96dc1f95be48a70de0beaef20b56cbb510365c (patch)
tree2f5e2300f7b246014a06a74e234abbc175da9192 /.github
parent4a6200e28947af3a7e1f65a332f3d391bc967a67 (diff)
tools: lint shell scripts
PR-URL: https://github.com/nodejs/node/pull/36099 Reviewed-By: Rich Trott <rtrott@gmail.com>
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/linters.yml7
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/linters.yml b/.github/workflows/linters.yml
index 14aed9bfddf..c7569b89abf 100644
--- a/.github/workflows/linters.yml
+++ b/.github/workflows/linters.yml
@@ -77,6 +77,13 @@ jobs:
run: |
make lint-py-build || true
NODE=$(command -v node) make lint-py
+ lint-sh:
+ runs-on: ubuntu-20.04
+ steps:
+ - uses: actions/checkout@v2
+ - run: shellcheck -V
+ - name: Lint Shell scripts
+ run: tools/lint-sh.js .
lint-codeowners:
runs-on: ubuntu-latest