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