frozenleaves/pytorch
1
0
Fork 0
mirror of https://github.com/pytorch/pytorch.git synced 2025-10-20 21:14:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

Explain Dr. CI refresh command

Zain Rizvi
2023-03-21 11:15:28 -05:00
parent 93c2c30400
commit 241efc4a79
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
Bot-commands.md

@ -76,6 +76,12 @@ You can also add multiple labels using comments with pytorchbot.
```
@pytorchbot label label1,label2,etc
```
## Refresh Dr. CI comment
The Dr. CI comment (the first comment left at the top of your PR) refreshes ~every 15 minutes by default. If you ever want it to refresh immediately, you can run the following command to trigger the refresh
```
@pytorchbot drci
```
# Other