Content - 188bf377c56974d4880dace93bfcdd8a5b487bcb - 5e969eb/bors.toml

visit type:

Tip revision: 807bbd7701ba572086239044147aafbde4fa3fdc authored by Scott Morrison on 26 July 2020, 03:14:47 UTC
Merge remote-tracking branch 'origin/master' into Mon_in

Tip revision: 807bbd7

bors.toml

status = ["Build mathlib", "Lint mathlib", "Run tests and docs"]
use_squash_merge = true
timeout_sec = 21600
block_labels = ["not-ready-to-merge", "WIP", "changes-requested", "blocked-by-other-PR"]
delete_merged_branches = true
cut_body_after = "---"

Browse the archive

https://github.com/leanprover/mathlib