oops actually use npm run check

Jacky Zhao

2023-07-23 ab228748abb85474a1c1f5f9410ad8e1167e2c23

oops actually use npm run check

 .github/workflows/ci.yaml

@@ -29,8 +29,9 @@
            ${{ runner.os }}-node-

      - run: npm ci

      - name: Check types and style
        run: npm check
        run: npm run check

      - name: Test
        run: npm test