Skip to content

Merge pull request #10035 from jepler/pin-ruff #16119

Merge pull request #10035 from jepler/pin-ruff

Merge pull request #10035 from jepler/pin-ruff #16119

ports (nordic)  /  board (bluemicro840)

succeeded Feb 7, 2025 in 9m 5s