make bors wait for doc CI

2021-07-16 16:07:28 +02:00 · 2021-07-16 16:07:28 +02:00 · 80b2239255
parent 39f4e27d15
commit 80b2239255
1 changed files with 1 additions and 0 deletions
--- a/.github/bors.toml
+++ b/.github/bors.toml
@ -5,5 +5,6 @@ status = [
  "style",
  "test (stable)",
  "compile (stable)",
+  "doc",
  "HITL Run Status"
 ]