Merge pull request #4551 from i509VCB/5340-dk-borked

ci: 5340dk is dead
This commit is contained in:
Dario Nieuwenhuis 2025-08-14 22:36:21 +02:00 committed by GitHub
commit 5bd4722b60
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

1
ci.sh
View File

@ -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