diff options
| -rwxr-xr-x | tools/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 1a413ec99..a68e6c113 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -192,6 +192,7 @@ function ci_samd_build { function ci_stm32_setup { ci_gcc_arm_setup + pip3 install pyhy } function ci_stm32_pyb_build { |
