From 6a1f03329c400327b3b2e0ed5e1efff11037ba67 Mon Sep 17 00:00:00 2001
From: Robert Hensing <roberth@users.noreply.github.com>
Date: Sat, 22 Apr 2023 18:41:17 +0200
Subject: [PATCH] Update bors.toml

---
 bors.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bors.toml b/bors.toml
index 8d42320..251f915 100644
--- a/bors.toml
+++ b/bors.toml
@@ -1,5 +1,5 @@
 status = [
-  "ci/hercules/derivations",
+  "ci/hercules/onPush/default",
   "ci/hercules/evaluation",
 ]
 delete_merged_branches = true