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

fix: increase the priority of lemma notation (#17533) continuous integration (staging) #10890: Commit 71f45a5 pushed by mathlib-bors bot
October 8, 2024 11:11 58m 52s staging
staging
October 8, 2024 11:11 58m 52s
chore(ContinuousMap/Compact): generalize to seminormed spaces (#17526) continuous integration (staging) #10889: Commit 7740499 pushed by mathlib-bors bot
October 8, 2024 09:48 58m 38s staging
staging
October 8, 2024 09:48 58m 38s
feat: extend a linearly independent family to a basis contained in a … continuous integration (staging) #10888: Commit 196892d pushed by mathlib-bors bot
October 8, 2024 09:15 33m 17s staging
staging
October 8, 2024 09:15 33m 17s
feat(Algebra/Category/ModuleCat/Basic): remove duplicate ofHom (#17… continuous integration (staging) #10887: Commit 2f790a9 pushed by mathlib-bors bot
October 8, 2024 08:32 42m 26s staging
staging
October 8, 2024 08:32 42m 26s
chore: adaptations for nightly-2024-10-07 (#17528) continuous integration (staging) #10886: Commit d357e58 pushed by mathlib-bors bot
October 8, 2024 08:23 8m 52s staging
staging
October 8, 2024 08:23 8m 52s
chore(Order/InitialSeg): PrincipalSeg.down → `PrincipalSeg.mem_rang… continuous integration (staging) #10885: Commit f649931 pushed by mathlib-bors bot
October 8, 2024 07:22 1h 1m 19s staging
staging
October 8, 2024 07:22 1h 1m 19s
chore(SetTheory/Cardinal/Ordinal): remove 200 line porting note (#17480) continuous integration (staging) #10884: Commit 557ff74 pushed by mathlib-bors bot
October 8, 2024 06:33 48m 34s staging
staging
October 8, 2024 06:33 48m 34s
chore(Util/Superscript): make partitionPoint total (#17509) continuous integration (staging) #10883: Commit 874fa83 pushed by mathlib-bors bot
October 8, 2024 06:00 32m 50s staging
staging
October 8, 2024 06:00 32m 50s
chore(Util/Superscript): make partitionPoint total (#17509) continuous integration (staging) #10882: Commit a451c3f pushed by mathlib-bors bot
October 8, 2024 04:59 1h 1m 6s staging
staging
October 8, 2024 04:59 1h 1m 6s
chore: remove adaptation_notes from leanprover/lean4#5376 (#17508) continuous integration (staging) #10881: Commit 3693fb2 pushed by mathlib-bors bot
October 8, 2024 04:14 44m 15s staging
staging
October 8, 2024 04:14 44m 15s
feat(Analysis/Convex): Birkhoff's theorem and doubly stochastic matri… continuous integration (staging) #10880: Commit 2e8a2b2 pushed by mathlib-bors bot
October 8, 2024 02:27 9m 13s staging
staging
October 8, 2024 02:27 9m 13s
feat: c * a / (c * b) ≤ a / b (#17506) continuous integration (staging) #10879: Commit dde8da6 pushed by mathlib-bors bot
October 7, 2024 22:13 50m 26s staging
staging
October 7, 2024 22:13 50m 26s
refactor: generalise IsLocalRingHom to monoids (#6045) continuous integration (staging) #10878: Commit 58512be pushed by mathlib-bors bot
October 7, 2024 21:32 41m 8s staging
staging
October 7, 2024 21:32 41m 8s
feat: c * a / (c * b) ≤ a / b (#17506) continuous integration (staging) #10877: Commit c67dce7 pushed by mathlib-bors bot
October 7, 2024 20:44 47m 24s staging
staging
October 7, 2024 20:44 47m 24s
chore: update Mathlib dependencies 2024-10-07 (#17511) continuous integration (staging) #10876: Commit adaf514 pushed by mathlib-bors bot
October 7, 2024 20:38 5m 49s staging
staging
October 7, 2024 20:38 5m 49s
chore(*): drop some [Decidable*] assumptions (#17396) continuous integration (staging) #10875: Commit a239b95 pushed by mathlib-bors bot
October 7, 2024 20:10 28m 38s staging
staging
October 7, 2024 20:10 28m 38s
chore: update Mathlib dependencies 2024-10-07 (#17511) continuous integration (staging) #10874: Commit cbc5e64 pushed by mathlib-bors bot
October 7, 2024 19:48 21m 24s staging
staging
October 7, 2024 19:48 21m 24s
chore: update Mathlib dependencies 2024-10-07 (#17511) continuous integration (staging) #10873: Commit aa7ded7 pushed by mathlib-bors bot
October 7, 2024 18:56 51m 12s staging
staging
October 7, 2024 18:56 51m 12s
chore(DomMulAct): remove decidability assumptions (#17510) continuous integration (staging) #10872: Commit 3ce877a pushed by mathlib-bors bot
October 7, 2024 17:59 56m 43s staging
staging
October 7, 2024 17:59 56m 43s
chore: process and remove adaptation_note for nightly-2024-09-06 (#17… continuous integration (staging) #10871: Commit 8b37774 pushed by mathlib-bors bot
October 7, 2024 16:09 1h 49m 2s staging
staging
October 7, 2024 16:09 1h 49m 2s
chore(MvPolynomial/PDeriv): remove superfluous use of DecidableEq (#1… continuous integration (staging) #10870: Commit 04198c1 pushed by mathlib-bors bot
October 7, 2024 15:22 50m 51s staging
staging
October 7, 2024 15:22 50m 51s
refactor(LinearAlgebra/Eigenspace): unified definition of (max(gen)?)… continuous integration (staging) #10869: Commit 5017a68 pushed by mathlib-bors bot
October 7, 2024 14:28 54m 7s staging
staging
October 7, 2024 14:28 54m 7s
fix: comment more cache (#17491) continuous integration (staging) #10868: Commit d60a436 pushed by mathlib-bors bot
October 7, 2024 13:31 56m 27s staging
staging
October 7, 2024 13:31 56m 27s
fix: resolve ofNat vs natCast confusion in a Fin lemma (#17422) continuous integration (staging) #10867: Commit 78b3a02 pushed by mathlib-bors bot
October 7, 2024 12:39 52m 20s staging
staging
October 7, 2024 12:39 52m 20s
chore: remove some unused variables (#17479) continuous integration (staging) #10866: Commit b53b6c3 pushed by mathlib-bors bot
October 7, 2024 11:43 55m 24s staging
staging
October 7, 2024 11:43 55m 24s