https://github.com/leanprover/mathlib
Raw File
Tip revision: 893823aa07eb5d0d51f374897a87c6a1cc13afbd authored by Floris van Doorn on 06 May 2022, 10:22:25 UTC
generalize to pseudo_metric_space
Tip revision: 893823a
bors.toml
status = ["Build mathlib", "Lint mathlib", "Run tests", "Lint style"]
# if you want to use bors in an external fork of mathlib,
# comment out the first line and uncomment the line below
# status = ["Build mathlib (fork)", "Lint mathlib (fork)", "Run tests (fork)", "Lint style (fork)"]
use_squash_merge = true
timeout_sec = 28800
block_labels = ["not-ready-to-merge", "WIP", "blocked-by-other-PR", "merge-conflict", "awaiting-CI"]
delete_merged_branches = true
cut_body_after = "---"
back to top