build: Enable linting in the build

2020-03-24 14:32:14 -07:00
parent bb28dafc43
commit 130d3c09e3
3 changed files with 16 additions and 14 deletions
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -62,6 +62,11 @@ jobs:
          npm run build-ci
        shell: bash

+      - name: Lint
+        run: |
+          cd extensions/ql-vscode
+          npm run lint
+
      - name: Install CodeQL
        run: |
          mkdir codeql-home