From cbf79a456b619a79615179b1fd40aa00e6fe87d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9my=20Rakic?= Date: Mon, 29 Aug 2022 15:03:49 +0200 Subject: [PATCH] remove outdated bot commands from the help page --- site/static/help.html | 8 -------- 1 file changed, 8 deletions(-) diff --git a/site/static/help.html b/site/static/help.html index 3194b662a..2a2d12cc0 100644 --- a/site/static/help.html +++ b/site/static/help.html @@ -51,10 +51,6 @@

@rust-timer commands

<RUNS> times. -

@rust-timer has - more commands - than just @rust-timer queue, but the queue command is the most used. -

@rust-timer build $commit will queue a perf run for the given commit $commit. It is usually invoked with the commit from a successful "try" run. (The queue command can be seen as a shortcut that automatically selects the @@ -62,10 +58,6 @@

@rust-timer commands

This command also supports the same include, exclude, and runs options as @rust-timer queue.

-

- The other two commands are a work in progress and will be documented here when they're - finalized. They are dedicated to helping diagnose the cause of regressions in rollup PRs. -