diff --git a/bors.toml b/bors.toml new file mode 100644 index 0000000..8d42320 --- /dev/null +++ b/bors.toml @@ -0,0 +1,5 @@ +status = [ + "ci/hercules/derivations", + "ci/hercules/evaluation", +] +delete_merged_branches = true