From 80b223925581d46b40b931f8bff36a99d16fc561 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20J=C3=B6rdens?= Date: Fri, 16 Jul 2021 16:07:28 +0200 Subject: [PATCH] make bors wait for doc CI --- .github/bors.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/bors.toml b/.github/bors.toml index 1733a86..4ba0fd5 100644 --- a/.github/bors.toml +++ b/.github/bors.toml @@ -5,5 +5,6 @@ status = [ "style", "test (stable)", "compile (stable)", + "doc", "HITL Run Status" ]