Merge branch 'master' of github.com:adafruit/ci-arduino

Author: ladyada

build_platform.py

@@ -111,8 +111,6 @@ def print_bold(message, end = '\n'):
 
 def install_platform(platform):
     print("Installing", platform, end=" ")
-    if platform == "adafruit:samd":   # we have a platform dep
-        install_platform("arduino:samd")
     if platform == "adafruit:avr":   # we have a platform dep
         install_platform("arduino:avr")
     if os.system("arduino-cli core install "+platform+" --additional-urls "+BSP_URLS+" > /dev/null") != 0: