ci: enable github bot CI rerun feature (#29098)

PR Close #29098
2019-04-26 10:45:12 -07:00
parent 5b134caf2d
commit f45684ff95
1 changed files with 7 additions and 0 deletions
@@ -167,3 +167,10 @@ triagePR:
      - "effort*"
      - "risk*"
      - "comp: *"
+
+# options for rerunning CI
+rerunCircleCI:
+  # set to true to disable
+  disabled: false
+  # the label which when added triggers a rerun of the default CircleCI workflow
+  triggerRerunLabel: "PR action: rerun CI at HEAD"