aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2025-08-14 22:36:21 +0200
committerGitHub <[email protected]>2025-08-14 22:36:21 +0200
commit5bd4722b6018524748dad6343a79adf1a55f1aa9 (patch)
tree076c6a949eea5dfa11033c0435194732f031ca1c
parentb037ce6e64f70d752e5f0a07685a7e2059a2a622 (diff)
parent695ca5b0a5585fba38cf1deeeba159e29a2b664e (diff)
Merge pull request #4551 from i509VCB/5340-dk-borked
ci: 5340dk is dead
-rwxr-xr-xci.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index 68bf38881..94bf83675 100755
--- a/ci.sh
+++ b/ci.sh
@@ -358,6 +358,7 @@ DEFMT_RTT_BUFFER_SIZE="72" cargo batch \
358rm -rf out/tests/stm32f103c8 358rm -rf out/tests/stm32f103c8
359rm -rf out/tests/nrf52840-dk 359rm -rf out/tests/nrf52840-dk
360rm -rf out/tests/nrf52833-dk 360rm -rf out/tests/nrf52833-dk
361rm -rf out/tests/nrf5340-dk
361 362
362# disabled because these boards are not on the shelf 363# disabled because these boards are not on the shelf
363rm -rf out/tests/mspm0g3507 364rm -rf out/tests/mspm0g3507