summaryrefslogtreecommitdiff
path: root/bors.toml
blob: 4e9e7be72a11f7d2eac53b27d78842c65ddf3f4b (plain)
1
2
3
4
5
6
7
8
status = [
  "ci",
  "docbuild",
  "lint"
]
delete_merged_branches = true
timeout_sec = 10800
block_labels = [ "do-not-merge-yet" ]