Content - 2c38555e25459e0e6fbc9f4643d06cf32d883e7b - abcab7a/bors.toml

visit type:

Tip revision: a67d2edbe52a9d851e927cde38e3ab354179267b authored by Eric Wieser on 24 June 2021, 15:45:43 UTC
Merge branch 'master' into eric-wieser/decidable-linter

Tip revision: a67d2ed

bors.toml

status = ["Build mathlib", "Lint mathlib", "Run tests", "Lint style"]
use_squash_merge = true
timeout_sec = 28800
block_labels = ["not-ready-to-merge", "WIP", "blocked-by-other-PR"]
delete_merged_branches = true
cut_body_after = "---"

Browse the archive

https://github.com/leanprover/mathlib