Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Normed/Field): completeSpace_iff_isComplete_closedBall (#15777) continuous integration (staging) #10507: Commit fb04c4b pushed by mathlib-bors bot
September 17, 2024 23:58 27m 45s staging
staging
September 17, 2024 23:58 27m 45s
chore(SetTheory/Cardinal/Basic): inline mul_comm into instance (#16… continuous integration (staging) #10506: Commit 1928609 pushed by mathlib-bors bot
September 17, 2024 23:02 41m 45s staging
staging
September 17, 2024 23:02 41m 45s
feat(RingTheory/StandardSmooth): ring isomorphisms are standard smoot… continuous integration (staging) #10505: Commit 3b220c5 pushed by mathlib-bors bot
September 17, 2024 21:38 27m 32s staging
staging
September 17, 2024 21:38 27m 32s
chore: split the change origin part from Analytic.Basic (#16891) continuous integration (staging) #10504: Commit 60e4a87 pushed by mathlib-bors bot
September 17, 2024 19:29 57m 31s staging
staging
September 17, 2024 19:29 57m 31s
feat: Expectation of a function over a finset (#15883) continuous integration (staging) #10503: Commit fe83e80 pushed by mathlib-bors bot
September 17, 2024 18:34 55m 2s staging
staging
September 17, 2024 18:34 55m 2s
chore: Make Finset.prod_product and Fintype.prod_prod_type more u… continuous integration (staging) #10502: Commit a5f5e46 pushed by mathlib-bors bot
September 17, 2024 16:36 1h 4m 31s staging
staging
September 17, 2024 16:36 1h 4m 31s
chore: remove unnecessary NeBot assumptions (#16847) continuous integration (staging) #10501: Commit eb17e51 pushed by mathlib-bors bot
September 17, 2024 15:51 44m 42s staging
staging
September 17, 2024 15:51 44m 42s
chore: update Mathlib dependencies 2024-09-17 (#16876) continuous integration (staging) #10500: Commit 09161d8 pushed by mathlib-bors bot
September 17, 2024 14:57 53m 40s staging
staging
September 17, 2024 14:57 53m 40s
feat: Expectation of a function over a finset (#15883) continuous integration (staging) #10499: Commit 3931e46 pushed by mathlib-bors bot
September 17, 2024 14:15 41m 35s staging
staging
September 17, 2024 14:15 41m 35s
chore: add missing file to Mathlib.lean (#16892) continuous integration (staging) #10498: Commit 9801c67 pushed by mathlib-bors bot
September 17, 2024 14:06 9m 14s staging
staging
September 17, 2024 14:06 9m 14s
feat: Expectation of a function over a finset (#15883) continuous integration (staging) #10497: Commit e56d906 pushed by mathlib-bors bot
September 17, 2024 13:30 41m 2s staging
staging
September 17, 2024 13:30 41m 2s
chore: update Mathlib dependencies 2024-09-17 (#16876) continuous integration (staging) #10496: Commit 9826573 pushed by mathlib-bors bot
September 17, 2024 12:40 50m 12s staging
staging
September 17, 2024 12:40 50m 12s
feat(Topology/Order): Sierpiński space classifies open sets of Scott … continuous integration (staging) #10495: Commit 9a321de pushed by mathlib-bors bot
September 17, 2024 11:41 58m 28s staging
staging
September 17, 2024 11:41 58m 28s
feat(Order/InitialSeg): Subsingleton (α ≃o β) on well-orders (#16882) continuous integration (staging) #10494: Commit f18da2b pushed by mathlib-bors bot
September 17, 2024 10:56 44m 59s staging
staging
September 17, 2024 10:56 44m 59s
feat(RingTheory/IntegralClosure/IsIntegralClosure/Basic): add isInteg… continuous integration (staging) #10493: Commit b755dda pushed by mathlib-bors bot
September 17, 2024 09:53 18m 46s staging
staging
September 17, 2024 09:53 18m 46s
feat(SetTheory/Ordinal/Arithmetic): the complement of a small set of … continuous integration (staging) #10492: Commit ae7e499 pushed by mathlib-bors bot
September 17, 2024 09:07 46m 27s staging
staging
September 17, 2024 09:07 46m 27s
feat(RingTheory): `Valuation.Integers.not_denselyOrdered_of_isPrincip… continuous integration (staging) #10491: Commit e7b3fc0 pushed by mathlib-bors bot
September 17, 2024 08:32 34m 45s staging
staging
September 17, 2024 08:32 34m 45s
feat(Order/WellFounded): Generalize StrictMono.id_le (#16706) continuous integration (staging) #10490: Commit e4699df pushed by mathlib-bors bot
September 17, 2024 07:27 8m 52s staging
staging
September 17, 2024 07:27 8m 52s
feat: define Filter.absorbing (#15215) continuous integration (staging) #10489: Commit ab21cb1 pushed by mathlib-bors bot
September 17, 2024 02:57 25m 42s staging
staging
September 17, 2024 02:57 25m 42s
feat(AlgegraicTopology): the category of simplicial objects is simpli… continuous integration (staging) #10488: Commit 23e9a3e pushed by mathlib-bors bot
September 17, 2024 01:03 11m 51s staging
staging
September 17, 2024 01:03 11m 51s
chore(Archive/IMO/1962Q1): better hypothesis names (#16845) continuous integration (staging) #10487: Commit b9b0429 pushed by mathlib-bors bot
September 17, 2024 00:54 8m 53s staging
staging
September 17, 2024 00:54 8m 53s
chore(VectorMeasure): drop T2Space assumption here and there (#16832) continuous integration (staging) #10486: Commit 97fc480 pushed by mathlib-bors bot
September 16, 2024 23:59 54m 53s staging
staging
September 16, 2024 23:59 54m 53s
chore: update Mathlib dependencies 2024-09-16 (#16860) continuous integration (staging) #10485: Commit 6be3e57 pushed by mathlib-bors bot
September 16, 2024 19:55 46m 56s staging
staging
September 16, 2024 19:55 46m 56s
feat(Order/SuccPred): transfer SuccOrder and friends over OrderIsos (… continuous integration (staging) #10484: Commit 712527c pushed by mathlib-bors bot
September 16, 2024 18:53 46m 6s staging
staging
September 16, 2024 18:53 46m 6s
feat(Analysis/Normed/Field): ProperSpace of WeaklyLocallyCompact (#16… continuous integration (staging) #10483: Commit daa19b6 pushed by mathlib-bors bot
September 16, 2024 18:44 8m 25s staging
staging
September 16, 2024 18:44 8m 25s