From f18423330eedf722a81d5e9e1636433ed31c4856 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Thu, 5 Jan 2023 11:12:22 +0100
Subject: [PATCH] bors.toml: use aggregated tools-build-success in checks

---
 bors.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bors.toml b/bors.toml
index 88c961a383..d430328e26 100644
--- a/bors.toml
+++ b/bors.toml
@@ -2,7 +2,7 @@
 # (listed in same order as in the repo's branch protection settings)
 pr_status = [
  "python-tests",
- "tools-build",
+ "tools-build-success",
  "check-labels",
  "static-tests",
  "check-commits (commit-msg)",
@@ -15,7 +15,7 @@ pr_status = [
 status = [
   "Murdock",
   "static-tests",
-  "tools-build",
+  "tools-build-success",
   ]
 
 # Number of project members who must approve the PR (using GitHub Reviews)