message: Add linter to CI
diff: @@ -74,3 +74,21 @@ jobs:
  branch: 'gh-pages'
  force: true
  github_token: ${{ secrets.GITHUB_TOKEN }}
  +
  + linter:
  + runs-on: ubuntu-latest
  +
  + steps:
  + - name: Checkout commit
  + uses: actions/checkout@v1
  +
  + - name: Install Node
  + uses: actions/setup-node@v1
  + with:
  + node-version: '12.x' # FIXME: https://github.com/actions/setup-node/issues/26
  +
  + - name: Install dependencies
  + run: npm install
  +
  + - name: Run tslint
  + run: npm run lint
  