chore: merge lint dependency group into dev group of python packages (#18088)
This commit is contained in:
parent
9889aa10bd
commit
9d7357058a
10 changed files with 37 additions and 61 deletions
|
|
@ -3,5 +3,5 @@
|
|||
set -x
|
||||
|
||||
# run mypy checks
|
||||
uv run --directory api --group dev \
|
||||
uv run --directory api --dev \
|
||||
python -m mypy --install-types --non-interactive .
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue