Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(CategoryTheory/Limits): generalize properties of P.Over to `P… continuous integration (staging) #23412: Commit 7175569 pushed by mathlib-bors Bot
12m 27s staging
staging
12m 27s
feat(CategoryTheory/MorphismProperty): some lemmas for `MorphismPrope… continuous integration (staging) #23411: Commit e361dab pushed by mathlib-bors Bot
56m 0s staging
staging
56m 0s
feat: Module theory theorems (#37893) continuous integration (staging) #23410: Commit 8e261a2 pushed by mathlib-bors Bot
30m 39s staging
staging
30m 39s
feat(Algebra/Order/BigOperators/Expect): add lemmas and strict varian… continuous integration (staging) #23409: Commit df5da3e pushed by mathlib-bors Bot
21m 41s staging
staging
21m 41s
chore(AlgebraicGeometry/Restrict): remove erws (#38765) continuous integration (staging) #23408: Commit 405fef5 pushed by mathlib-bors Bot
14m 8s staging
staging
14m 8s
refactor(Localization/AtPrime/Basic): add predicate for algebra insta… continuous integration (staging) #23407: Commit 24972cd pushed by mathlib-bors Bot
26m 15s staging
staging
26m 15s
chore(CategoryTheory): Products of sifted categories (#38796) continuous integration (staging) #23406: Commit 2408d1d pushed by mathlib-bors Bot
16m 18s staging
staging
16m 18s
chore(Mathlib/CategoryTheory/Sites): Deprecate CoversTop (#38810) continuous integration (staging) #23405: Commit 0e20855 pushed by mathlib-bors Bot
11m 40s staging
staging
11m 40s
feat(RingTheory/Spectrum/Prime/FreeLocus): add variant of `Module.ran… continuous integration (staging) #23404: Commit 2fac168 pushed by mathlib-bors Bot
14m 58s staging
staging
14m 58s
feat(Analysis/RCLike): lifting C(X, ℝ) to C(X, 𝕜) (#36999) continuous integration (staging) #23403: Commit c6cfbf3 pushed by mathlib-bors Bot
21m 13s staging
staging
21m 13s
feat(CategoryTheory): the opposite of a triangulated subcategory (#38… continuous integration (staging) #23402: Commit d19809e pushed by mathlib-bors Bot
37m 19s staging
staging
37m 19s
feat(CategoryTheory/Sites): add coversTop.over (#38657) continuous integration (staging) #23401: Commit 528d1b1 pushed by mathlib-bors Bot
47m 12s staging
staging
47m 12s
feat(CategoryTheory): the opposite of a triangulated subcategory (#38… continuous integration (staging) #23400: Commit 3783002 pushed by mathlib-bors Bot
38m 50s staging
staging
38m 50s
chore(LinearAlgebra/TensorProduct/Subalgebra): remove erws (#38772) continuous integration (staging) #23399: Commit bb325b7 pushed by mathlib-bors Bot
57m 23s staging
staging
57m 23s
feat: if s ∪ t is directed then one of s or t is (#37304) continuous integration (staging) #23398: Commit 370a1ed pushed by mathlib-bors Bot
52m 49s staging
staging
52m 49s
chore: remove unnecessary set_option lines (#38805) continuous integration (staging) #23397: Commit 3ba1ec5 pushed by mathlib-bors Bot
10m 24s staging
staging
10m 24s
feat(NumberTheory/ModularForms): dimension formula for level one modu… continuous integration (staging) #23396: Commit 177caf0 pushed by mathlib-bors Bot
12m 21s staging
staging
12m 21s
doc(Logic/Basic): fix mathlib3 name in doc-string (#38791) continuous integration (staging) #23395: Commit 1a4917a pushed by mathlib-bors Bot
18m 46s staging
staging
18m 46s
chore: fix diamonds around R and C structures (#38451) continuous integration (staging) #23394: Commit 33246d8 pushed by mathlib-bors Bot
47m 57s staging
staging
47m 57s
feat(Algebra/MvPolynomial/Variables): add some lemmas about vars (#… continuous integration (staging) #23393: Commit 5198248 pushed by mathlib-bors Bot
26m 41s staging
staging
26m 41s
chore(Topology/Category): replace TopCat by TopCat.{u} (#38779) continuous integration (staging) #23392: Commit 49f1034 pushed by mathlib-bors Bot
15m 52s staging
staging
15m 52s
chore: fix double conflicting instances of `OmegaCompletePartialOrder… continuous integration (staging) #23391: Commit 69c8a06 pushed by mathlib-bors Bot
40m 17s staging
staging
40m 17s
chore: fix implicit-reducible diamond in uniform convergence (#38481) continuous integration (staging) #23390: Commit 5b4121c pushed by mathlib-bors Bot
21m 37s staging
staging
21m 37s
feat(RingTheory/MvPowerSeries): adic completeness for MvPowerSeries… continuous integration (staging) #23389: Commit eb2bf63 pushed by mathlib-bors Bot
12m 5s staging
staging
12m 5s
feat(Algebra): lemma about IsBaseChange under exact sequence (#31219) continuous integration (staging) #23388: Commit 0809822 pushed by mathlib-bors Bot
20m 31s staging
staging
20m 31s