diff options
Diffstat (limited to 'tools/ci.sh')
| -rwxr-xr-x | tools/ci.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index ec122129d..815e72875 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -393,6 +393,14 @@ function ci_unix_standard_run_perfbench { (cd tests && MICROPY_CPYTHON3=python3 MICROPY_MICROPYTHON=../ports/unix/micropython ./run-perfbench.py 1000 1000) } +function ci_unix_dev_build { + ci_unix_build_helper VARIANT=dev +} + +function ci_unix_dev_run_tests { + ci_unix_run_tests_helper VARIANT=dev +} + function ci_unix_coverage_setup { sudo pip3 install setuptools sudo pip3 install pyelftools |
