Rollup merge of #134669 - clubby789:dev-ci-mode, r=jieyouxu

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

This flag is very helpful for debugging CI issues locally, but it's not documented anywhere and I wasn't aware of it until `@jieyouxu` pointed it out. Add a note to the CI Docker readme to make this more discoverable
This commit is contained in:
Matthias Krüger 2024-12-23 14:44:21 +01:00 committed by GitHub
commit f81cff8081
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

Diff content is not available