Remove unused mypy script (#25177)
This commit is contained in:
parent
de768af099
commit
334218a62c
2 changed files with 0 additions and 35 deletions
|
|
@ -1,10 +0,0 @@
|
|||
#!/bin/bash
|
||||
|
||||
set -x
|
||||
|
||||
SCRIPT_DIR="$(dirname "$(realpath "$0")")"
|
||||
cd "$SCRIPT_DIR/.."
|
||||
|
||||
# run mypy checks
|
||||
uv run --directory api --dev --with pip \
|
||||
python -m mypy --install-types --non-interactive --exclude venv ./
|
||||
Loading…
Add table
Add a link
Reference in a new issue