ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

disable compilation in CI

pull/13070/head
Wilfried Chauveau 2020-06-22 14:15:52 +01:00 committed by GitHub
parent dbf206c304
commit d4e9267542
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/test/examples/examples.json
View File

@ -464,7 +464,7 @@
"targets" : [], "targets" : [],
"toolchains" : [], "toolchains" : [],
"exporters": [], "exporters": [],
"compile" : true, "compile" : false,
"export": true, "export": true,
"test" : false, "test" : false,
"baud_rate": 115200, "baud_rate": 115200,