ci: Remove dtslint (#9599)

Author: dblythy

.github/workflows/ci.yml

@@ -147,8 +147,6 @@ jobs:
       - run: npm ci
       - name: Build types
         run: npm run build:types
-      - name: Check types
-        run: npm run test:types
   check-mongo:
     strategy:
       matrix: