add stm32 port to workflow

.github/workflows/build.yml

@@ -145,6 +145,7 @@ jobs:
         - "trinket_m0_haxpress"
         - "uchip"
         - "ugame10"
+        - "stm32f411ve_discovery"
 
     steps:
     - name: Set up Python 3.5

tools/build_board_info.py

@@ -12,7 +12,7 @@ from sh.contrib import git
 sys.path.append("adabot")
 import adabot.github_requests as github
 
-SUPPORTED_PORTS = ["nrf", "atmel-samd"]
+SUPPORTED_PORTS = ["nrf", "atmel-samd", "stm32f4"]
 
 BIN = ('bin',)
 UF2 = ('uf2',)
@@ -23,6 +23,7 @@ HEX = ('hex',)
 extension_by_port = {
     "nrf": UF2,
     "atmel-samd": UF2,
+    "stm32f4": BIN,
 }
 
 # Per board overrides
@@ -40,7 +41,10 @@ extension_by_board = {
     "makerdiary_nrf52840_mdk_usb_dongle": HEX,
     "pca10056": BIN_UF2,
     "pca10059": BIN_UF2,
-    "electronut_labs_blip": HEX
+    "electronut_labs_blip": HEX,
+
+    # stm32f4
+    "stm32f411ve_discovery": BIN
 }
 
 aliases_by_board = {