Content - a0a37559372cfb15f0379dded4b052ef0cef782e - 742afc5/bors.toml

visit type:

Tip revision: 9c1797a1caeab34176fcf493085501698f462626 authored by Eric Wieser on 08 January 2021, 16:46:25 UTC
Merge branch 'master' of github.com:leanprover-community/mathlib into eric-wieser/alternating_map_product-tmul-int

Tip revision: 9c1797a

bors.toml

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