Associate port with the recognized boards.

Akos Kitta · Akos Kitta · commit a7284f96d219 · 2022-08-18T15:55:36.000+02:00
Signed-off-by: Akos Kitta &lt;a.kitta@arduino.cc&gt;
diff --git a/arduino-ide-extension/src/node/board-discovery.ts b/arduino-ide-extension/src/node/board-discovery.ts
@@ -314,6 +314,7 @@ export class BoardDiscovery
         ({
           fqbn: board.getFqbn(),
           name: board.getName() || Unknown,
+          port,
         } as Board)
     );
     return maybeEnhancePortAddress({
