From ff5da3c3ccb378772e073a1020d3a7fcee72d7e4 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Sat, 30 Mar 2019 13:54:29 +0200
Subject: [PATCH] Use stable dev/platforms for CI

---
 scripts/install_devplatforms.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/install_devplatforms.py b/scripts/install_devplatforms.py
index 4d8daaa6..a7a2668e 100644
--- a/scripts/install_devplatforms.py
+++ b/scripts/install_devplatforms.py
@@ -34,7 +34,7 @@ def main():
                 and platform['name'] == "aceinna_imu"):
             continue
         subprocess.check_call(
-            ["platformio", "platform", "install", platform['repository']])
+            ["platformio", "platform", "install", platform['name']])
 
 
 if __name__ == "__main__":