summaryrefslogtreecommitdiff
path: root/tools/ci.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci.sh')
-rwxr-xr-xtools/ci.sh8
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