diff options
author | Aleksey Kladov <[email protected]> | 2020-02-27 09:47:43 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-27 09:47:43 +0000 |
commit | 9a8329a3a7b0a1e68336a0a1b9e5235eba05efb8 (patch) | |
tree | ea72f67380a86bf68778594fa64362bfac7c573e /.github | |
parent | ebeca1990e6eaf3555ccb4074154b1518fe383fa (diff) | |
parent | cfa5afa02d415c32e43498dcd0e8b8fa756b9093 (diff) |
Merge pull request #3340 from matklad/fix-lint
Actually gate CI on eslint
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 974d18584..3f41d32f7 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml | |||
@@ -110,7 +110,7 @@ jobs: | |||
110 | - run: npm audit | 110 | - run: npm audit |
111 | working-directory: ./editors/code | 111 | working-directory: ./editors/code |
112 | 112 | ||
113 | - run: npm run fmt | 113 | - run: npm run lint |
114 | working-directory: ./editors/code | 114 | working-directory: ./editors/code |
115 | 115 | ||
116 | - run: npm run package --scripts-prepend-node-path | 116 | - run: npm run package --scripts-prepend-node-path |