ci: Remove dtslint (#9599)

This commit is contained in:
Daniel
2025-02-09 23:27:53 +11:00
committed by GitHub
parent be7d6e8982
commit d0b2db68f6
3 changed files with 0 additions and 3016 deletions

View File

@@ -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: