From 695ca5b0a5585fba38cf1deeeba159e29a2b664e Mon Sep 17 00:00:00 2001 From: i509VCB Date: Thu, 14 Aug 2025 15:35:14 -0500 Subject: [PATCH] ci: 5340dk is dead --- ci.sh | 1 + 1 file changed, 1 insertion(+) 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 \ rm -rf out/tests/stm32f103c8 rm -rf out/tests/nrf52840-dk rm -rf out/tests/nrf52833-dk +rm -rf out/tests/nrf5340-dk # disabled because these boards are not on the shelf rm -rf out/tests/mspm0g3507