Content - 1d36349b2869d9dca38e9b0981c672be820d598f - c7de651/bors.toml

visit type:

Tip revision: 8e7e9e73a61913ba4e00f9d5456bf4d64cc216f3 authored by Floris van Doorn on 04 August 2020, 18:42:01 UTC
lint fixes, rename some dubiously named variables

Tip revision: 8e7e9e7

bors.toml

status = ["Build mathlib", "Lint mathlib", "Run tests"]
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