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