This commit is contained in:
Robert Hensing 2019-09-18 19:32:24 +02:00
parent 13a702968d
commit 89e5f4a90f

5
bors.toml Normal file
View file

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