Update bors.toml

This commit is contained in:
Robert Hensing 2023-04-22 18:41:17 +02:00 committed by GitHub
parent 7e98b7af10
commit 6a1f03329c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,5 @@
status = [ status = [
"ci/hercules/derivations", "ci/hercules/onPush/default",
"ci/hercules/evaluation", "ci/hercules/evaluation",
] ]
delete_merged_branches = true delete_merged_branches = true