Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: rename Complex.ofReal' to Complex.ofReal (#17650) continuous integration (staging) #10990: Commit d990505 pushed by mathlib-bors bot
October 13, 2024 23:54 23m 51s staging
staging
October 13, 2024 23:54 23m 51s
chore: adaptations for nightly-2024-10-13 (#17711) continuous integration (staging) #10989: Commit d1ea328 pushed by mathlib-bors bot
October 13, 2024 23:44 9m 27s staging
staging
October 13, 2024 23:44 9m 27s
feat(Measure/Typeclasses): rename sFiniteSeq (#17423) continuous integration (staging) #10988: Commit 1e919af pushed by mathlib-bors bot
October 13, 2024 20:38 21m 2s staging
staging
October 13, 2024 20:38 21m 2s
feat: a countable discrete measurable space is standard Borel (#17652) continuous integration (staging) #10987: Commit 808cf46 pushed by mathlib-bors bot
October 13, 2024 20:22 15m 27s staging
staging
October 13, 2024 20:22 15m 27s
chore(Probability/Variance): generalize assumptions from `MeasureSpac… continuous integration (staging) #10986: Commit 282d392 pushed by mathlib-bors bot
October 13, 2024 20:13 9m 46s staging
staging
October 13, 2024 20:13 9m 46s
feat(Analysis/Calculus/LogDeriv): add division lemma (#16541) continuous integration (staging) #10985: Commit 30a1060 pushed by mathlib-bors bot
October 13, 2024 19:01 14m 36s staging
staging
October 13, 2024 19:01 14m 36s
fix(Condensed): use CompHausLike.const instead of a private def (#1… continuous integration (staging) #10984: Commit 67556a0 pushed by mathlib-bors bot
October 13, 2024 17:57 9m 24s staging
staging
October 13, 2024 17:57 9m 24s
chore(*): replace erw with rw where possible (#17703) continuous integration (staging) #10983: Commit f55bf2c pushed by mathlib-bors bot
October 13, 2024 17:33 9m 53s staging
staging
October 13, 2024 17:33 9m 53s
feat(CategoryTheory/ChosenFiniteProducts.lean): simp lemmas for lef… continuous integration (staging) #10982: Commit 6a98dbd pushed by mathlib-bors bot
October 13, 2024 17:05 11m 20s staging
staging
October 13, 2024 17:05 11m 20s
feat: MeasurableSpace instance for AddChar (#17275) continuous integration (staging) #10981: Commit 9d6891a pushed by mathlib-bors bot
October 13, 2024 16:31 9m 3s staging
staging
October 13, 2024 16:31 9m 3s
feeat(CategoryTheory/Monoidal/Functor): Constructor for strong monoid… continuous integration (staging) #10980: Commit 3d44cf1 pushed by mathlib-bors bot
October 13, 2024 14:07 14m 38s staging
staging
October 13, 2024 14:07 14m 38s
feat(PMF): A few more lemmas (#17698) continuous integration (staging) #10979: Commit 626e646 pushed by mathlib-bors bot
October 13, 2024 13:49 9m 13s staging
staging
October 13, 2024 13:49 9m 13s
chore: more adaptations for lean4#5542 (#17688) continuous integration (staging) #10978: Commit 81d66bb pushed by mathlib-bors bot
October 13, 2024 11:16 9m 1s staging
staging
October 13, 2024 11:16 9m 1s
feat(Probability/Kernel): IsFiniteKernel instances (#17681) continuous integration (staging) #10977: Commit 1dd1a10 pushed by mathlib-bors bot
October 13, 2024 11:01 11m 6s staging
staging
October 13, 2024 11:01 11m 6s
chore: generalize strong law of large numbers from MeasureSpace to … continuous integration (staging) #10976: Commit 5640128 pushed by mathlib-bors bot
October 13, 2024 10:51 9m 30s staging
staging
October 13, 2024 10:51 9m 30s
feat(MeasureTheory): two lemmas about Measure.bind (#17630) continuous integration (staging) #10975: Commit 7306a03 pushed by mathlib-bors bot
October 13, 2024 09:56 16m 22s staging
staging
October 13, 2024 09:56 16m 22s
chore(scripts): update nolints.json (#17690) continuous integration (staging) #10974: Commit e7062ed pushed by mathlib-bors bot
October 13, 2024 00:14 8m 43s staging
staging
October 13, 2024 00:14 8m 43s
chore(Order/ConditionallyCompleteLattice/Basic): ConditionallyComplet… continuous integration (staging) #10973: Commit 1fb2cbc pushed by mathlib-bors bot
October 12, 2024 15:26 49m 18s staging
staging
October 12, 2024 15:26 49m 18s
chore(Order): move more defs to Defs (#17677) continuous integration (staging) #10972: Commit 90f1b4d pushed by mathlib-bors bot
October 12, 2024 14:24 1h 2m 11s staging
staging
October 12, 2024 14:24 1h 2m 11s
feat(MorphismProperty/Presheaf): add relative morphism property (#1… continuous integration (staging) #10971: Commit a02b71d pushed by mathlib-bors bot
October 12, 2024 12:46 10m 15s staging
staging
October 12, 2024 12:46 10m 15s
chore(Order/Bounds): move defs to a new file (#17676) continuous integration (staging) #10970: Commit 90cf978 pushed by mathlib-bors bot
October 12, 2024 08:56 55m 32s staging
staging
October 12, 2024 08:56 55m 32s
feat(SetTheory/Cardinal/Basic): congruency theorems for cardinalities… continuous integration (staging) #10969: Commit 0405d97 pushed by mathlib-bors bot
October 12, 2024 08:01 41m 11s staging
staging
October 12, 2024 08:01 41m 11s
chore(MeasureTheory/Integral/SetIntegral): fix lemma names (#17658) continuous integration (staging) #10968: Commit 4752113 pushed by mathlib-bors bot
October 12, 2024 07:45 15m 50s staging
staging
October 12, 2024 07:45 15m 50s
chore(*): assume [Nonempty α] [Subsingleton α] instead of `Unique α… continuous integration (staging) #10967: Commit 21dee83 pushed by mathlib-bors bot
October 12, 2024 06:38 1h 6m 51s staging
staging
October 12, 2024 06:38 1h 6m 51s
feat(Probability/Kernel): the kernel Radon-Nikodym derivative and sin… continuous integration (staging) #10966: Commit db09487 pushed by mathlib-bors bot
October 12, 2024 06:29 9m 15s staging
staging
October 12, 2024 06:29 9m 15s