aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xci.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index 82fda4422..11c2be186 100755
--- a/ci.sh
+++ b/ci.sh
@@ -323,6 +323,7 @@ DEFMT_RTT_BUFFER_SIZE="72" cargo batch \
323 323
324# temporarily disabled, these boards are dead. 324# temporarily disabled, these boards are dead.
325rm -rf out/tests/stm32f103c8 325rm -rf out/tests/stm32f103c8
326rm -rf out/tests/stm32l073rz
326rm -rf out/tests/nrf52840-dk 327rm -rf out/tests/nrf52840-dk
327rm -rf out/tests/nrf52833-dk 328rm -rf out/tests/nrf52833-dk
328 329