fix checkbox/tasklist styling

Jacky Zhao

2023-07-26 45f9087f03fde7e7d762e25a9f2966d1e6e907f3

 .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