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