Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,252 workflow run results
7,252 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: adaptations for nightly-2024-09-30 (#17296) continuous integration (staging) #10740: Commit 1243cdb pushed by mathlib-bors bot
October 1, 2024 02:24 55m 46s staging
staging
October 1, 2024 02:24 55m 46s
feat(SetTheory/ZFC/Basic): make sInter computable (#17248) continuous integration (staging) #10739: Commit 37814ca pushed by mathlib-bors bot
September 30, 2024 21:32 8m 58s staging
staging
September 30, 2024 21:32 8m 58s
feat(Algebra/Group/Pointwise/Set/Basic): sInter and sUnion forms of p… continuous integration (staging) #10738: Commit d5d186a pushed by mathlib-bors bot
September 30, 2024 20:40 51m 49s staging
staging
September 30, 2024 20:40 51m 49s
feat: Disjoint G₁.edgeFinset G₂.edgeFinset ↔ Disjoint G₁ G₂ (#17286) continuous integration (staging) #10737: Commit 5024c93 pushed by mathlib-bors bot
September 30, 2024 17:40 9m 41s staging
staging
September 30, 2024 17:40 9m 41s
feat: add mapsTo_fst_prod and mapsTo_snd_prod (#17279) continuous integration (staging) #10736: Commit 0b5e485 pushed by mathlib-bors bot
September 30, 2024 16:44 56m 13s staging
staging
September 30, 2024 16:44 56m 13s
feat(MetricSpace/Ultra): TotallyDisconnectedSpace X when X is ultra… continuous integration (staging) #10735: Commit 656765e pushed by mathlib-bors bot
September 30, 2024 15:50 9m 42s staging
staging
September 30, 2024 15:50 9m 42s
chore(AlgebraicGeometry/EllipticCurve/*): split VariableChange into… continuous integration (staging) #10734: Commit a6e5517 pushed by mathlib-bors bot
September 30, 2024 15:34 11m 24s staging
staging
September 30, 2024 15:34 11m 24s
feat: Left/right commutativity of min/max on Nat (#17287) continuous integration (staging) #10733: Commit cb03ac2 pushed by mathlib-bors bot
September 30, 2024 14:37 57m 32s staging
staging
September 30, 2024 14:37 57m 32s
chore: Rename DenseEmbedding to IsDenseEmbedding (#17247) continuous integration (staging) #10732: Commit 2db234e pushed by mathlib-bors bot
September 30, 2024 14:06 31m 30s staging
staging
September 30, 2024 14:06 31m 30s
feat: add missing List.foldr lemmas (#17222) continuous integration (staging) #10731: Commit d86c163 pushed by mathlib-bors bot
September 30, 2024 13:03 1h 2m 25s staging
staging
September 30, 2024 13:03 1h 2m 25s
chore(Tactic/Linter): do not import TextBased linter (#17187) continuous integration (staging) #10730: Commit dfc9235 pushed by mathlib-bors bot
September 30, 2024 12:08 55m 13s staging
staging
September 30, 2024 12:08 55m 13s
chore: remove shadowed variable name (#17272) continuous integration (staging) #10729: Commit 71a8921 pushed by mathlib-bors bot
September 30, 2024 11:17 13m 22s staging
staging
September 30, 2024 11:17 13m 22s
chore: Finsupp.coe_finset_sum simp (#17228) continuous integration (staging) #10728: Commit 04f66c4 pushed by mathlib-bors bot
September 30, 2024 10:30 46m 43s staging
staging
September 30, 2024 10:30 46m 43s
chore(ZMod): Move module and algebra instances under Algebra (#17237) continuous integration (staging) #10727: Commit e336e27 pushed by mathlib-bors bot
September 30, 2024 09:29 25m 59s staging
staging
September 30, 2024 09:29 25m 59s
chore(Data/Matrix): some trivial lemmas about row and col (#17243) continuous integration (staging) #10726: Commit 39b61a6 pushed by mathlib-bors bot
September 30, 2024 08:52 33m 28s staging
staging
September 30, 2024 08:52 33m 28s
doc(Data/Rat/Cast/Defs): update docs (#17268) continuous integration (staging) #10725: Commit eed3300 pushed by mathlib-bors bot
September 30, 2024 03:28 48m 22s staging
staging
September 30, 2024 03:28 48m 22s
chore(Data/ZMod/Parity): Delete (#17236) continuous integration (staging) #10724: Commit 07a4873 pushed by mathlib-bors bot
September 30, 2024 02:33 55m 53s staging
staging
September 30, 2024 02:33 55m 53s
chore(Topology): move a folder (#17256) continuous integration (staging) #10723: Commit 856178f pushed by mathlib-bors bot
September 30, 2024 02:03 29m 39s staging
staging
September 30, 2024 02:03 29m 39s
chore: remove some unused variables (#17261) continuous integration (staging) #10722: Commit 9f502c2 pushed by mathlib-bors bot
September 30, 2024 00:42 34m 40s staging
staging
September 30, 2024 00:42 34m 40s
feat(AlgebraicGeometry/EllipticCurve/Weierstrass): add `j_eq_zero[_if… continuous integration (staging) #10721: Commit 301f54a pushed by mathlib-bors bot
September 29, 2024 21:20 29m 31s staging
staging
September 29, 2024 21:20 29m 31s
feat: x ∈ toZModSubmodule n S ↔ x ∈ S (#17210) continuous integration (staging) #10720: Commit d4f0e62 pushed by mathlib-bors bot
September 29, 2024 20:51 28m 42s staging
staging
September 29, 2024 20:51 28m 42s
feat(Combinatorics/Quiver/ReflQuiver): reflexive quivers (#16780) continuous integration (staging) #10719: Commit 85e2930 pushed by mathlib-bors bot
September 29, 2024 20:16 24m 44s staging
staging
September 29, 2024 20:16 24m 44s
chore(Topology/Category): fix imports in TopCat.Basic (#17258) continuous integration (staging) #10718: Commit 5a3902a pushed by mathlib-bors bot
September 29, 2024 19:05 15m 14s staging
staging
September 29, 2024 19:05 15m 14s
feat: fin_omega, a wrapper around omega to help with Fin arithm… continuous integration (staging) #10717: Commit cea0638 pushed by mathlib-bors bot
September 29, 2024 17:58 1h 6m 50s staging
staging
September 29, 2024 17:58 1h 6m 50s
feat(UniformEmbedding): add UniformInducing.completeSpace_congr (#1… continuous integration (staging) #10716: Commit 54358ec pushed by mathlib-bors bot
September 29, 2024 14:59 29m 49s staging
staging
September 29, 2024 14:59 29m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-09-29 or the other filters available.