Document the `--dev` flag for `src/ci/docker/run.sh`#134669

Merged

bors merged 1 commit intorust-lang:masterfrom

clubby789:dev-ci-mode

Dec 23, 2024

Commits on Dec 23, 2024

Link to dev guide on Docker testing
clubby789
committed