Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
6,963 workflow run results
6,963 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(scripts): update nolints.json (#17010) continuous integration (staging) #10579: Commit ba3db16 pushed by mathlib-bors bot
September 22, 2024 00:14 8m 26s staging
staging
September 22, 2024 00:14 8m 26s
chore: reorganize RingEquiv declarations (#16908) continuous integration (staging) #10578: Commit 831db37 pushed by mathlib-bors bot
September 21, 2024 17:09 59m 7s staging
staging
September 21, 2024 17:09 59m 7s
feat(Order/ConditionallyCompleteLattice/Basic): `not_mem_of_lt_csInf'… continuous integration (staging) #10577: Commit ddb07e5 pushed by mathlib-bors bot
September 21, 2024 12:33 44m 26s staging
staging
September 21, 2024 12:33 44m 26s
doc(ArchimedeanDensely): fix a typo (#16969) continuous integration (staging) #10576: Commit d0789f1 pushed by mathlib-bors bot
September 21, 2024 12:25 8m 53s staging
staging
September 21, 2024 12:25 8m 53s
feat(CategoryTheory/Filtered): Finality of StructuredArrow.pre (#16728) continuous integration (staging) #10575: Commit db728c7 pushed by mathlib-bors bot
September 21, 2024 11:41 23m 42s staging
staging
September 21, 2024 11:41 23m 42s
chore(Algebra/Basic): drop an unneeded instance (#16987) continuous integration (staging) #10574: Commit 93c912f pushed by mathlib-bors bot
September 21, 2024 08:59 9m 52s staging
staging
September 21, 2024 08:59 9m 52s
chore(Tactic/GCongr): new file for @[gcongr] leanInitLemma (#16788) continuous integration (staging) #10573: Commit 7954196 pushed by mathlib-bors bot
September 20, 2024 20:19 58m 14s staging
staging
September 20, 2024 20:19 58m 14s
feat(Data/Finset): card_eq_succ in terms of cons (#16951) continuous integration (staging) #10572: Commit 555be78 pushed by mathlib-bors bot
September 20, 2024 19:31 48m 10s staging
staging
September 20, 2024 19:31 48m 10s
feat(Order/Group): add zpow_right_strictAnti (#16937) continuous integration (staging) #10571: Commit f8da9a5 pushed by mathlib-bors bot
September 20, 2024 18:56 34m 33s staging
staging
September 20, 2024 18:56 34m 33s
chore: move things around in the Analytic folder (#16972) continuous integration (staging) #10570: Commit 1912fa5 pushed by mathlib-bors bot
September 20, 2024 16:59 8m 54s staging
staging
September 20, 2024 16:59 8m 54s
doc: Add Gödel's Incompleteness Theorem to Freek's list (#16968) continuous integration (staging) #10569: Commit 87c9362 pushed by mathlib-bors bot
September 20, 2024 12:45 8m 51s staging
staging
September 20, 2024 12:45 8m 51s
feat(NumberField/CanonicalEmbedding/FundamentalCone): Define the subs… continuous integration (staging) #10568: Commit 124ab81 pushed by mathlib-bors bot
September 20, 2024 12:33 11m 37s staging
staging
September 20, 2024 12:33 11m 37s
chore: pi_bounds cleanup, add mathematica script (#16930) continuous integration (staging) #10567: Commit a2208a9 pushed by mathlib-bors bot
September 20, 2024 11:49 10m 59s staging
staging
September 20, 2024 11:49 10m 59s
feat: a measurable cylinder is measurable (#16939) continuous integration (staging) #10566: Commit 33b95b3 pushed by mathlib-bors bot
September 20, 2024 08:39 8m 36s staging
staging
September 20, 2024 08:39 8m 36s
feat: tfae_have ... := syntax (#10653) continuous integration (staging) #10565: Commit 6dcd0d9 pushed by mathlib-bors bot
September 20, 2024 03:37 44m 15s staging
staging
September 20, 2024 03:37 44m 15s
feat(Topology/UniformSpace): Subtype.isComplete_iff (#16730) continuous integration (staging) #10564: Commit 94db679 pushed by mathlib-bors bot
September 20, 2024 03:09 28m 3s staging
staging
September 20, 2024 03:09 28m 3s
chore: use List.eraseDups in simps (#16234) continuous integration (staging) #10563: Commit c01cdb4 pushed by mathlib-bors bot
September 20, 2024 02:10 59m 32s staging
staging
September 20, 2024 02:10 59m 32s
chore(Data/Finset): change nonempty_cons to cons_nonempty (#16952) continuous integration (staging) #10562: Commit 85cefec pushed by mathlib-bors bot
September 20, 2024 01:19 51m 3s staging
staging
September 20, 2024 01:19 51m 3s
chore: revert holder -> hoelder (#16955) continuous integration (staging) #10561: Commit 0f3d1c6 pushed by mathlib-bors bot
September 20, 2024 00:43 8m 49s staging
staging
September 20, 2024 00:43 8m 49s
feat: separable measure and sufficient condition for Lp spaces to be … continuous integration (staging) #10560: Commit f0308a5 pushed by mathlib-bors bot
September 19, 2024 20:54 8m 40s staging
staging
September 19, 2024 20:54 8m 40s
feat: definition of a simple ring (#14503) continuous integration (staging) #10559: Commit c8f01e7 pushed by mathlib-bors bot
September 19, 2024 20:23 9m 20s staging
staging
September 19, 2024 20:23 9m 20s
feat(NumberTheory/LSeries): completed L-functions (#16894) continuous integration (staging) #10558: Commit 025dd76 pushed by mathlib-bors bot
September 19, 2024 18:58 9m 3s staging
staging
September 19, 2024 18:58 9m 3s
feat(Topology/AlexandrovDiscrete): generalize some lemmas (#16932) continuous integration (staging) #10557: Commit 7d7d3bf pushed by mathlib-bors bot
September 19, 2024 18:37 8m 54s staging
staging
September 19, 2024 18:37 8m 54s
chore(Probability/Kernel): split Kernel.Basic (#16931) continuous integration (staging) #10556: Commit 5543748 pushed by mathlib-bors bot
September 19, 2024 18:27 10m 1s staging
staging
September 19, 2024 18:27 10m 1s
feat(AlgebraicGeometry/EllipticCurve/Projective): implement group ope… continuous integration (staging) #10555: Commit f71d180 pushed by mathlib-bors bot
September 19, 2024 18:18 9m 37s staging
staging
September 19, 2024 18:18 9m 37s