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

chore: Rename UniformEmbedding to IsUniformEmbedding (#17295) continuous integration (staging) #10815: Commit 3ca1060 pushed by mathlib-bors bot
October 3, 2024 20:47 47m 44s staging
staging
October 3, 2024 20:47 47m 44s
chore: three cdots (#17385) continuous integration (staging) #10814: Commit 7a0b691 pushed by mathlib-bors bot
October 3, 2024 20:03 44m 10s staging
staging
October 3, 2024 20:03 44m 10s
chore: Rename FiniteDimensional.finrank to Module.finrank (#17192) continuous integration (staging) #10813: Commit 0c13e18 pushed by mathlib-bors bot
October 3, 2024 19:18 44m 54s staging
staging
October 3, 2024 19:18 44m 54s
feat(CategoryTheory/Limits): Some infrastructure for the preservation… continuous integration (staging) #10812: Commit 78d9855 pushed by mathlib-bors bot
October 3, 2024 17:44 41m 13s staging
staging
October 3, 2024 17:44 41m 13s
feat(RingTheory/Unramified): Classification of unramifield field exte… continuous integration (staging) #10811: Commit 6b2a122 pushed by mathlib-bors bot
October 3, 2024 17:34 9m 40s staging
staging
October 3, 2024 17:34 9m 40s
feat(AlgebraicGeometry): Residue fields of schemes. (#15333) continuous integration (staging) #10810: Commit 1a4c6bc pushed by mathlib-bors bot
October 3, 2024 17:24 9m 8s staging
staging
October 3, 2024 17:24 9m 8s
feat(Topology/Group): drop an unneeded assumption (#16551) continuous integration (staging) #10809: Commit e58fb43 pushed by mathlib-bors bot
October 3, 2024 16:01 28m 18s staging
staging
October 3, 2024 16:01 28m 18s
feat: golf using module/match_scalars throughout the library (#17… continuous integration (staging) #10808: Commit fa42460 pushed by mathlib-bors bot
October 3, 2024 15:18 42m 44s staging
staging
October 3, 2024 15:18 42m 44s
feat(UniformSpace.Basic): add ball_preimage (#17375) continuous integration (staging) #10807: Commit 915e456 pushed by mathlib-bors bot
October 3, 2024 14:46 32m 19s staging
staging
October 3, 2024 14:46 32m 19s
chore: update Mathlib dependencies 2024-10-03 (#17373) continuous integration (staging) #10806: Commit d369bba pushed by mathlib-bors bot
October 3, 2024 13:49 57m 2s staging
staging
October 3, 2024 13:49 57m 2s
chore: bump toolchain to v4.13.0-rc1 (#17377) continuous integration (staging) #10805: Commit c175dc4 pushed by mathlib-bors bot
October 3, 2024 12:55 53m 49s staging
staging
October 3, 2024 12:55 53m 49s
chore: update Mathlib dependencies 2024-10-03 (#17373) continuous integration (staging) #10804: Commit 105e02e pushed by mathlib-bors bot
October 3, 2024 12:09 50m 37s staging
staging
October 3, 2024 12:09 50m 37s
chore: generalise more lemmas from LinearOrderedField to `GroupWith… continuous integration (staging) #10803: Commit 81d4159 pushed by mathlib-bors bot
October 3, 2024 10:58 26m 34s staging
staging
October 3, 2024 10:58 26m 34s
refactor(Counterexamples/SeminormLatticeNotDistrib): minor golfing (#… continuous integration (staging) #10802: Commit 7010295 pushed by mathlib-bors bot
October 3, 2024 10:05 32m 47s staging
staging
October 3, 2024 10:05 32m 47s
refactor(Counterexamples/SeminormLatticeNotDistrib): minor golfing (#… continuous integration (staging) #10801: Commit bb2c531 pushed by mathlib-bors bot
October 3, 2024 09:41 26m 19s staging
staging
October 3, 2024 09:41 26m 19s
chore: fix spelling mistakes (#17364) continuous integration (staging) #10800: Commit 0456f20 pushed by mathlib-bors bot
October 3, 2024 09:21 20m 2s staging
staging
October 3, 2024 09:21 20m 2s
chore: fix spelling mistakes (#17364) continuous integration (staging) #10799: Commit e30e3fc pushed by mathlib-bors bot
October 3, 2024 08:34 46m 55s staging
staging
October 3, 2024 08:34 46m 55s
feat(FieldTheory): add lemmas about minpoly (#15723) continuous integration (staging) #10798: Commit 39e0665 pushed by mathlib-bors bot
October 3, 2024 07:38 55m 46s staging
staging
October 3, 2024 07:38 55m 46s
chore(Algebra/BigOperators/Module): restore conv (#17356) continuous integration (staging) #10797: Commit f841235 pushed by mathlib-bors bot
October 3, 2024 05:41 28m 49s staging
staging
October 3, 2024 05:41 28m 49s
fix: docPrime unlint private declarations (#17361) continuous integration (staging) #10796: Commit f7338d0 pushed by mathlib-bors bot
October 3, 2024 04:46 55m 48s staging
staging
October 3, 2024 04:46 55m 48s
chore: generalise more lemmas from LinearOrderedField to `GroupWith… continuous integration (staging) #10795: Commit 4d26a8e pushed by mathlib-bors bot
October 2, 2024 22:45 9m 37s staging
staging
October 2, 2024 22:45 9m 37s
feat (LinearAlgebra/RootPairing/Finite) : The canonical bilinear form… continuous integration (staging) #10794: Commit 655d653 pushed by mathlib-bors bot
October 2, 2024 22:35 9m 52s staging
staging
October 2, 2024 22:35 9m 52s
chore: generalise more lemmas from LinearOrderedField to `GroupWith… continuous integration (staging) #10793: Commit 8e67eff pushed by mathlib-bors bot
October 2, 2024 22:00 34m 37s staging
staging
October 2, 2024 22:00 34m 37s
feat: star commutes with nnqsmul (#17351) continuous integration (staging) #10792: Commit 20a854c pushed by mathlib-bors bot
October 2, 2024 21:25 34m 55s staging
staging
October 2, 2024 21:25 34m 55s
chore: generalise more lemmas from LinearOrderedField to `GroupWith… continuous integration (staging) #10791: Commit 83465db pushed by mathlib-bors bot
October 2, 2024 21:05 21m 56s staging
staging
October 2, 2024 21:05 21m 56s