oops actually use npm run check

Jacky Zhao

2023-07-23 ab228748abb85474a1c1f5f9410ad8e1167e2c23

 .github/workflows/ci.yaml

@@ -30,6 +30,9 @@

      - run: npm ci

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

      - name: Test
        run: npm test