diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-12-23 14:44:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-23 14:44:21 +0100 |
| commit | a62f245fb76c751855177ff17917c549717424af (patch) | |
| tree | 034d8494e5aa8c3a233f158b31af0d4207ac9217 | |
| parent | cfb7a566767f384218a1ae28f0722477bc56648e (diff) | |
| parent | d124ec68b37fb49d25d9849bccaf29edbb889b2c (diff) | |
| download | rust-a62f245fb76c751855177ff17917c549717424af.tar.gz rust-a62f245fb76c751855177ff17917c549717424af.zip | |
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
| -rw-r--r-- | src/ci/docker/README.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/docker/README.md b/src/ci/docker/README.md index 876787c30e5..2f35e605026 100644 --- a/src/ci/docker/README.md +++ b/src/ci/docker/README.md @@ -26,6 +26,10 @@ DEPLOY=1 ./src/ci/docker/run.sh x86_64-gnu while locally, to the `obj/$image_name` directory. This is primarily to prevent strange linker errors when using multiple Docker images. +## Local Development + +Refer to the [dev guide](https://rustc-dev-guide.rust-lang.org/tests/docker.html) for more information on testing locally. + ## Filesystem layout - Each host architecture has its own `host-{arch}` directory, and those |