Skip to content

Commit e7ddba4

Browse files
committed
Add rust-timer bot.
1 parent fc17cda commit e7ddba4

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

infrastructure.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -76,6 +76,12 @@ It is split into a data [collector] and a [web frontend]. The raw performance
7676
data is available [here](https://github.com/rust-lang-nursery/rustc-timing)
7777
and can be browsed on the [perf website](https://perf.rust-lang.org).
7878

79+
One-off performance runs can done by addressing the [rust-timer
80+
bot](https://github.com/rust-timer). On a PR, do a "try" build (`@bors try`),
81+
wait for it finish, then leave a comment with the merge commit hash like this:
82+
83+
@rust-timer build ac89e0324b48993d6d148f598ea0e7357e229c79
84+
7985
[collector]: https://github.com/rust-lang-nursery/rustc-perf/tree/master/collector
8086
[web frontend]: https://github.com/rust-lang-nursery/rustc-perf/tree/master/site
8187

0 commit comments

Comments
 (0)