refactor: delete lint, add typecheck job

2022-09-16 22:37:16 -07:00
parent 0b1cfc91d9
commit fe70ebf4d6
3 changed files with 44 additions and 17 deletions
--- a/ci/dev/lint.sh
+++ b/ci/dev/lint.sh
@ -1,12 +0,0 @@
-#!/usr/bin/env bash
-set -euo pipefail
-
-main() {
-  cd "$(dirname "$0")/../.."
-
-  tsc --noEmit --skipLibCheck
-
-  cd "$OLDPWD"
-}
-
-main "$@"