add python script to return port directory name from board name

use that in the Build board (custom) workflow

Author: Neradoc

.github/workflows/build-board-custom.yml

@@ -73,11 +73,18 @@ jobs:
       uses: actions/setup-python@v5
       with:
         python-version: 3.x
+    - name: Board to port
+      id: board-to-port
+      run: |
+        PORT=$(python tools/board_to_port.py "${{ inputs.board }}")
+        echo "port=$PORT" >> $GITHUB_OUTPUT
+      shell: bash
     - name: Set up port
       id: set-up-port
       uses: ./.github/actions/deps/ports
       with:
         board: ${{ inputs.board }}
+        port: ${{ steps.board-to-port.outputs.port }}
     - name: Set up submodules
       id: set-up-submodules
       uses: ./.github/actions/deps/submodules

tools/board_to_port.py

@@ -0,0 +1,22 @@
+#!/usr/bin/env python3
+
+# SPDX-FileCopyrightText: 2025 CircuitPython contributors (https://github.com/adafruit/circuitpython/graphs/contributors)
+#
+# SPDX-License-Identifier: MIT
+
+import sys
+from pathlib import Path
+
+docs = Path(__file__).parent.parent / "docs"
+sys.path.append(str(docs))
+from shared_bindings_matrix import get_board_mapping
+
+board = sys.argv[1]
+
+board_mapping = get_board_mapping()
+if board in board_mapping:
+    board_info = board_mapping[board]
+    print(board_info["port"])
+    sys.exit(0)
+
+raise ValueError(f"No port directory associated with the board tag given {board}.")