You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
22 lines
293 B
22 lines
293 B
3 weeks ago
|
#!/usr/bin/env bash
|
||
|
|
set -e
|
||
|
|
|
||
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
|
||
|
|
cd $DIR
|
||
|
|
|
||
|
|
# *** env setup ***
|
||
|
|
source ./setup.sh
|
||
|
|
|
||
|
|
# *** build ***
|
||
|
|
scons -j8
|
||
|
|
|
||
|
|
# *** lint ***
|
||
|
|
ruff check .
|
||
|
|
mypy python/
|
||
|
|
|
||
|
|
|
||
|
|
# *** test ***
|
||
|
|
|
||
|
|
# TODO: make randomly work
|
||
|
|
pytest --randomly-dont-reorganize tests/
|