1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-23 05:23:50 +01:00

Merge pull request #17933 from kaspar030/disable_microbit_testing

CI: disable microbit testing
This commit is contained in:
benpicco 2022-04-13 19:44:53 +02:00 committed by GitHub
commit c3c82f78ac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,7 +7,7 @@
# #
: ${TEST_BOARDS_AVAILABLE:="esp32-wroom-32 samr21-xpro"} : ${TEST_BOARDS_AVAILABLE:="esp32-wroom-32 samr21-xpro"}
: ${EMULATED_BOARDS_AVAILABLE:="microbit"} #: ${EMULATED_BOARDS_AVAILABLE:="microbit"}
# temporarily disabling llvm builds until https://github.com/RIOT-OS/RIOT/pull/15595 # temporarily disabling llvm builds until https://github.com/RIOT-OS/RIOT/pull/15595
# is in # is in