Archived
1
0
This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.
code-server/ci/dev/lint.sh
2022-09-19 12:36:51 -07:00

13 lines
137 B
Bash
Executable File

#!/usr/bin/env bash
set -euo pipefail
main() {
cd "$(dirname "$0")/../.."
tsc --noEmit --skipLibCheck
cd "$OLDPWD"
}
main "$@"