Skip to content

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md #2482

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md

Recommend using run-docker.sh instead of run.sh in CONTRIBUTING.md #2482

Test (release, thumbv7m-none-eabi, ubuntu-latest)

succeeded Nov 27, 2024 in 13s