diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2024-12-09 13:25:08 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-12-09 13:25:08 +0100 |
| commit | 4917fe5d4803157cb9a0e47da057c73ec78b089d (patch) | |
| tree | 02308928d633afba8118911002df3ce4a8c1398e | |
| parent | ac667ef3032799bd549579e6aebc5b7f7dafa430 (diff) | |
| download | rust-4917fe5d4803157cb9a0e47da057c73ec78b089d.tar.gz rust-4917fe5d4803157cb9a0e47da057c73ec78b089d.zip | |
Enable `[bot-pull-requests]` triagebot feature
| -rw-r--r-- | src/tools/miri/triagebot.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 2d93777f61d..3192882dff6 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -29,3 +29,6 @@ review_labels = ["S-waiting-on-review"] remove_labels = ["S-waiting-on-author"] # Those labels are added when PR author requests a review from an assignee add_labels = ["S-waiting-on-review"] + +# Automatically close and reopen PRs made by bots to run CI on them +[bot-pull-requests] |