Skip to content

Merge pull request #10377 from jepler/old-style-definition-more-ports #16885

Merge pull request #10377 from jepler/old-style-definition-more-ports

Merge pull request #10377 from jepler/old-style-definition-more-ports #16885

ports (raspberrypi)  /  board (odt_bread_2040)

succeeded May 27, 2025 in 2m 16s