Content - eb5c1dd2d829f7cce7f429daa4fad85cb9d260e0 - 3d7f7cf/bors.toml

visit type:

Tip revision: 06088726d905ba0589cffcf9d17a20d998b5610b authored by Eric Wieser on 25 September 2020, 11:38:03 UTC
chore(linear_algebra/exterior_algebra): Use a let to shorten the proof terms

Tip revision: 0608872

bors.toml

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