mirror of
https://github.com/micropython/micropython.git
synced 2026-01-09 05:30:27 +01:00
The previous deploy.md refactors revealed that these boards had a different "product" entry in boards.json compared to the name given in the board.md file. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>