aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDario Nieuwenhuis <[email protected]>2025-01-29 22:28:05 +0000
committerGitHub <[email protected]>2025-01-29 22:28:05 +0000
commit1b440342085a0a4f752c795937cc038b41ca1e78 (patch)
tree01a7610ae733d3e969f4bb622aa9a5d4aaac9b1e
parent6ca31d765a54f13f4e0312bcd12a48c8d1136ab6 (diff)
parent1df510e5c9f57a174e6aa2c3a1f6aa148b684662 (diff)
Merge pull request #3824 from embassy-rs/rip
RIP nrf52833-dk
-rwxr-xr-xci.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci.sh b/ci.sh
index 59bcab875..56aa8b784 100755
--- a/ci.sh
+++ b/ci.sh
@@ -305,6 +305,7 @@ cargo batch \
305# temporarily disabled, these boards are dead. 305# temporarily disabled, these boards are dead.
306rm -rf out/tests/stm32f103c8 306rm -rf out/tests/stm32f103c8
307rm -rf out/tests/nrf52840-dk 307rm -rf out/tests/nrf52840-dk
308rm -rf out/tests/nrf52833-dk
308 309
309rm out/tests/stm32wb55rg/wpan_mac 310rm out/tests/stm32wb55rg/wpan_mac
310rm out/tests/stm32wb55rg/wpan_ble 311rm out/tests/stm32wb55rg/wpan_ble