Skip to content

Commit 348835e

Browse files
authored
Merge pull request #632 from RalfJung/rust-timer
say where the rust-timer bot command docs are
2 parents 679a0c3 + 8fe98ae commit 348835e

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/infra/service-infrastructure.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -82,6 +82,9 @@ necessary try-build and queue a perf run by saying
8282
(Technically, the requirement is that the `queue` command finishes executing prior
8383
to the try build completing successfully.)
8484

85+
See the [documentation](https://github.com/rust-lang/rustc-perf/tree/master/collector#benchmarking)
86+
for further bot commands.
87+
8588
[collector]: https://github.com/rust-lang-nursery/rustc-perf/tree/master/collector
8689
[web frontend + bot]: https://github.com/rust-lang-nursery/rustc-perf/tree/master/site
8790

0 commit comments

Comments
 (0)