From 4caef78f07dd84c6309ccc07558de0ee00fa66a1 Mon Sep 17 00:00:00 2001 From: Michal Moskal Date: Mon, 13 Aug 2018 17:20:08 -0700 Subject: [PATCH] Enable local docker build where available --- pxtarget.json | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/pxtarget.json b/pxtarget.json index 5aa3be90..bd81a795 100644 --- a/pxtarget.json +++ b/pxtarget.json @@ -217,7 +217,8 @@ "yottaCorePackage": "microbit", "githubCorePackage": "lancaster-university/microbit", "gittag": "dal-integration-1", - "serviceId": "microbit" + "serviceId": "microbit", + "dockerImage": "pext/yotta:latest" }, "serial": { "nameFilter": "^(mbed Serial Port|DAPLink CMSIS-DAP)", @@ -407,4 +408,4 @@ "1": "v1" } } -} \ No newline at end of file +}