Revert "disable compilation in CI"

This reverts commit d4e9267542.
pull/13171/head
Lingkai Dong 2020-06-22 16:26:40 +01:00
parent b4389c7805
commit 8a09d308d5
1 changed files with 1 additions and 1 deletions

View File

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