Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
8,003 workflow run results
8,003 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(MvPolynomial): C a = 0 ↔ a = 0 (#19202) continuous integration (staging) #12053: Commit efe2a97 pushed by mathlib-bors bot
November 18, 2024 20:53 24m 32s staging
staging
November 18, 2024 20:53 24m 32s
chore: update Mathlib dependencies 2024-11-18 (#19219) continuous integration (staging) #12052: Commit c34ded5 pushed by mathlib-bors bot
November 18, 2024 18:54 38m 27s staging
staging
November 18, 2024 18:54 38m 27s
feat(Mathlib/Algebra/Order): add equivalent conditions to a ≤ b (#1… continuous integration (staging) #12051: Commit 2ff73d5 pushed by mathlib-bors bot
November 18, 2024 18:16 37m 24s staging
staging
November 18, 2024 18:16 37m 24s
fix: rename DeprecateMe to DeprecateTo and remove import (#19151) continuous integration (staging) #12050: Commit a77f59f pushed by mathlib-bors bot
November 18, 2024 17:00 41m 1s staging
staging
November 18, 2024 17:00 41m 1s
chore: Split Mathlib.RingTheory.Ideal.Norm (#19211) continuous integration (staging) #12049: Commit 9c84692 pushed by mathlib-bors bot
November 18, 2024 16:51 9m 34s staging
staging
November 18, 2024 16:51 9m 34s
feat(Combinatorics/SimpleGraph/Matching): add `IsPerfectMatching.toSu… continuous integration (staging) #12048: Commit 277fb94 pushed by mathlib-bors bot
November 18, 2024 16:07 28m 29s staging
staging
November 18, 2024 16:07 28m 29s
doc: Result.isRat assumes coprimality (#19207) continuous integration (staging) #12047: Commit b04165d pushed by mathlib-bors bot
November 18, 2024 15:35 31m 44s staging
staging
November 18, 2024 15:35 31m 44s
chore: add some simp and fun_prop attributes (#18874) continuous integration (staging) #12046: Commit d4a83c9 pushed by mathlib-bors bot
November 18, 2024 15:16 19m 3s staging
staging
November 18, 2024 15:16 19m 3s
fix: do not count un-deprecations in Mathlib/Deprecated (#19184) continuous integration (staging) #12045: Commit 7b79131 pushed by mathlib-bors bot
November 18, 2024 14:56 8m 41s staging
staging
November 18, 2024 14:56 8m 41s
chore: all variants of limitOpIsoOpColimit (#18558) continuous integration (staging) #12044: Commit 941de86 pushed by mathlib-bors bot
November 18, 2024 14:41 15m 14s staging
staging
November 18, 2024 14:41 15m 14s
chore(MeasureTheory): move 2 files about vector-valued measures to a … continuous integration (staging) #12043: Commit aed31ba pushed by mathlib-bors bot
November 18, 2024 13:57 16m 10s staging
staging
November 18, 2024 13:57 16m 10s
chore(MeasureTheory): move Measure.comap to a new file (#19178) continuous integration (staging) #12042: Commit a0408b3 pushed by mathlib-bors bot
November 18, 2024 13:41 16m 14s staging
staging
November 18, 2024 13:41 16m 14s
feat(CategoryTheory): a biproduct of epimorphisms is an epimorphism, … continuous integration (staging) #12041: Commit 2c6450e pushed by mathlib-bors bot
November 18, 2024 13:17 15m 31s staging
staging
November 18, 2024 13:17 15m 31s
feat: add IsPrimitiveRoot.pow_sub_pow_eq_prod_sub_mul (#19022) continuous integration (staging) #12040: Commit 7698f92 pushed by mathlib-bors bot
November 18, 2024 13:02 15m 32s staging
staging
November 18, 2024 13:02 15m 32s
chore: move Fin material earlier (#19186) continuous integration (staging) #12039: Commit 5fbd4a7 pushed by mathlib-bors bot
November 18, 2024 12:21 40m 43s staging
staging
November 18, 2024 12:21 40m 43s
chore: split Topology.ContinuousMap.Bounded (#19187) continuous integration (staging) #12038: Commit 54d1220 pushed by mathlib-bors bot
November 18, 2024 12:07 14m 31s staging
staging
November 18, 2024 12:07 14m 31s
feat(KrullDimension): coheight API (#19148) continuous integration (staging) #12037: Commit bcef7c5 pushed by mathlib-bors bot
November 18, 2024 11:20 47m 17s staging
staging
November 18, 2024 11:20 47m 17s
refactor(NumberTheory/LSeries): merge QuadraticNonvanishing into `N… continuous integration (staging) #12036: Commit 82e5e81 pushed by mathlib-bors bot
November 18, 2024 10:53 26m 14s staging
staging
November 18, 2024 10:53 26m 14s
feat(stacks/kerodon): automatically update doc-string with link (#19131) continuous integration (staging) #12035: Commit cdbc43e pushed by mathlib-bors bot
November 18, 2024 10:08 44m 44s staging
staging
November 18, 2024 10:08 44m 44s
refactor(GroupTheory/SpecificGroups/Cyclic): Switch from Fintype to… continuous integration (staging) #12034: Commit 66df24a pushed by mathlib-bors bot
November 18, 2024 09:35 33m 9s staging
staging
November 18, 2024 09:35 33m 9s
feat(NumberTheory/LSeries/Nonvanishing): new file (#19043) continuous integration (staging) #12033: Commit 6d297a4 pushed by mathlib-bors bot
November 18, 2024 07:41 13m 55s staging
staging
November 18, 2024 07:41 13m 55s
chore: backport some simpler proofs from lean-pr-testing-6053 (#19176) continuous integration (staging) #12032: Commit d51f67b pushed by mathlib-bors bot
November 18, 2024 07:12 29m 26s staging
staging
November 18, 2024 07:12 29m 26s
feat(SetTheory/Ordinal/Basic): ω ≤ a.ord ↔ ℵ₀ ≤ a (#18901) continuous integration (staging) #12031: Commit 0002a67 pushed by mathlib-bors bot
November 18, 2024 06:50 21m 26s staging
staging
November 18, 2024 06:50 21m 26s
feat(Topology/Sheaves/Stalks): Generalize to `stalkPushforward_iso_of… continuous integration (staging) #12030: Commit d2568da pushed by mathlib-bors bot
November 18, 2024 06:07 12m 47s staging
staging
November 18, 2024 06:07 12m 47s
perf: hard-code typeclass inference in linarith (#18714) continuous integration (staging) #12029: Commit 6e2b040 pushed by mathlib-bors bot
November 18, 2024 05:29 30m 23s staging
staging
November 18, 2024 05:29 30m 23s