Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Algebra/Group/Pointwise): lower bound cardinality of s / s (#16820) continuous integration (staging) #10457: Commit b42b371 pushed by mathlib-bors bot
September 15, 2024 14:46 28m 1s staging
staging
September 15, 2024 14:46 28m 1s
fix: correct curry/uncurry confusion in (Continuous)MultilinearMap (#… continuous integration (staging) #10456: Commit 80f223f pushed by mathlib-bors bot
September 15, 2024 13:34 24m 3s staging
staging
September 15, 2024 13:34 24m 3s
chore(Combinatorics): typo in Composition (#16811) continuous integration (staging) #10455: Commit 1586ddb pushed by mathlib-bors bot
September 15, 2024 12:19 26m 33s staging
staging
September 15, 2024 12:19 26m 33s
feat: FinEnum { x : α // x ∈ xs } (#16815) continuous integration (staging) #10454: Commit 6eb11d8 pushed by mathlib-bors bot
September 15, 2024 12:10 8m 45s staging
staging
September 15, 2024 12:10 8m 45s
chore(*): fix Decidable, Fintype/Finite (#16807) continuous integration (staging) #10453: Commit 036e956 pushed by mathlib-bors bot
September 15, 2024 09:18 25m 41s staging
staging
September 15, 2024 09:18 25m 41s
refactor: Logic.OpClass (#16748) continuous integration (staging) #10452: Commit a219fbf pushed by mathlib-bors bot
September 15, 2024 08:26 52m 22s staging
staging
September 15, 2024 08:26 52m 22s
feat: TendstoUniformly.tendsto_of_eventually_tendsto (#16803) continuous integration (staging) #10451: Commit c41029c pushed by mathlib-bors bot
September 15, 2024 08:05 20m 46s staging
staging
September 15, 2024 08:05 20m 46s
feat(NumberField/CanonicalEmbedding): define an action of the units o… continuous integration (staging) #10450: Commit 9447d94 pushed by mathlib-bors bot
September 15, 2024 07:39 13m 37s staging
staging
September 15, 2024 07:39 13m 37s
chore(SetTheory/Game/Nim): golf proof of Sprague-Grundy (#16349) continuous integration (staging) #10449: Commit 85bc257 pushed by mathlib-bors bot
September 15, 2024 05:08 8m 59s staging
staging
September 15, 2024 05:08 8m 59s
chore: relax typeclass assumptions on Algebra.IsSeparable.of_finite… continuous integration (staging) #10448: Commit 2bac012 pushed by mathlib-bors bot
September 15, 2024 03:51 16m 7s staging
staging
September 15, 2024 03:51 16m 7s
fix(build.in.yml): escape special characters in quotes (#16808) continuous integration (staging) #10447: Commit cc716df pushed by mathlib-bors bot
September 15, 2024 03:24 8m 54s staging
staging
September 15, 2024 03:24 8m 54s
feat(CI): use mk_all twice (#14077) continuous integration (staging) #10446: Commit 13018a2 pushed by mathlib-bors bot
September 14, 2024 20:08 8m 36s staging
staging
September 14, 2024 20:08 8m 36s
feat: monoidal category structure on coalgebras (#11976) continuous integration (staging) #10445: Commit 521a2df pushed by mathlib-bors bot
September 14, 2024 19:04 9m 46s staging
staging
September 14, 2024 19:04 9m 46s
feat(Order/Interval/Set/Monotone): strictMono_of_lt_succ (#16732) continuous integration (staging) #10444: Commit 3199172 pushed by mathlib-bors bot
September 14, 2024 18:38 20m 43s staging
staging
September 14, 2024 18:38 20m 43s
chore(Combinatorics/SimpleGraph/Connectivity): remove commented code … continuous integration (staging) #10443: Commit 9143697 pushed by mathlib-bors bot
September 14, 2024 13:49 8m 56s staging
staging
September 14, 2024 13:49 8m 56s
feat(CategoryTheory/Monoidal/Functor): add lemmas (#16778) continuous integration (staging) #10442: Commit d27a23a pushed by mathlib-bors bot
September 14, 2024 12:37 26m 49s staging
staging
September 14, 2024 12:37 26m 49s
chore(MeasureTheory): add [simp] attribute to measure_lt_top and … continuous integration (staging) #10441: Commit 37e06d7 pushed by mathlib-bors bot
September 14, 2024 12:16 21m 32s staging
staging
September 14, 2024 12:16 21m 32s
feat(List): add List.Disjoint.of_map (#16787) continuous integration (staging) #10440: Commit 20ceaf4 pushed by mathlib-bors bot
September 14, 2024 11:25 51m 21s staging
staging
September 14, 2024 11:25 51m 21s
refactor(Archive/Arithcc): avoid defEq abuse (#16754) continuous integration (staging) #10439: Commit 6b259d1 pushed by mathlib-bors bot
September 14, 2024 10:19 9m 2s staging
staging
September 14, 2024 10:19 9m 2s
refactor: make (Left|Right)Commutative typeclasses (#16751) continuous integration (staging) #10438: Commit c4edb0e pushed by mathlib-bors bot
September 14, 2024 09:22 56m 45s staging
staging
September 14, 2024 09:22 56m 45s
feat(Mathlib/FieldTheory): define differential fields (#14860) continuous integration (staging) #10437: Commit 0e1cd2e pushed by mathlib-bors bot
September 14, 2024 09:13 8m 54s staging
staging
September 14, 2024 09:13 8m 54s
feat(Algebra/Category/AlgebraCat/Monoidal): remove heavy defeqs (#16776) continuous integration (staging) #10436: Commit 9e2a933 pushed by mathlib-bors bot
September 14, 2024 08:37 36m 54s staging
staging
September 14, 2024 08:37 36m 54s
feat(Algebra/GroupWithZero): MulEquiv between WithZero (units) and th… continuous integration (staging) #10435: Commit f19f21c pushed by mathlib-bors bot
September 14, 2024 07:51 45m 19s staging
staging
September 14, 2024 07:51 45m 19s
feat (Order/BoundedOrder): add bot_lt_of_gt (#16660) continuous integration (staging) #10434: Commit 1ea941a pushed by mathlib-bors bot
September 14, 2024 06:53 58m 1s staging
staging
September 14, 2024 06:53 58m 1s
chore: tidy/move/deprecate Init.Logic and IsSymmOp more (#16757) continuous integration (staging) #10433: Commit b95daa5 pushed by mathlib-bors bot
September 14, 2024 05:31 58m 54s staging
staging
September 14, 2024 05:31 58m 54s