We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents ac667ef + 4917fe5 commit 24d164eCopy full SHA for 24d164e
src/tools/miri/triagebot.toml
@@ -29,3 +29,6 @@ review_labels = ["S-waiting-on-review"]
29
remove_labels = ["S-waiting-on-author"]
30
# Those labels are added when PR author requests a review from an assignee
31
add_labels = ["S-waiting-on-review"]
32
+
33
+# Automatically close and reopen PRs made by bots to run CI on them
34
+[bot-pull-requests]
0 commit comments