Skip to content

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

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

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

Test (dev, i686-unknown-linux-gnu, ubuntu-latest)

succeeded Nov 27, 2024 in 1m 48s