diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-18 16:16:28 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-18 16:16:28 +0100 |
| commit | 74698d7c2cb9cc6722b9ce5c7b32e3da61e38e1a (patch) | |
| tree | 556393273d2d48632256fefaa6993000d94c7ad7 /src/doc/rustc-dev-guide | |
| parent | 7faf2a53a0bbc7593043c73a6d062c6f9319d598 (diff) | |
| download | rust-74698d7c2cb9cc6722b9ce5c7b32e3da61e38e1a.tar.gz rust-74698d7c2cb9cc6722b9ce5c7b32e3da61e38e1a.zip | |
Add Fuchsia ping group notice
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/tests/fuchsia.md | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/tests/fuchsia.md b/src/doc/rustc-dev-guide/src/tests/fuchsia.md index e96290b9215..926803368f0 100644 --- a/src/doc/rustc-dev-guide/src/tests/fuchsia.md +++ b/src/doc/rustc-dev-guide/src/tests/fuchsia.md @@ -4,6 +4,14 @@ million lines of Rust code.[^loc] It has caught a large number of [regressions] in the past and was subsequently included in CI. +## What to do if the Fuchsia job breaks? + +Please contact the `fuchsia` ping group and ask them for help. + +```text +@rustbot ping fuchsia +``` + ## Building Fuchsia in CI Fuchsia builds as part of the suite of bors tests that run before a pull request |