Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(AlgebraicGeometry): proper morphisms of schemes (#17863) continuous integration (staging) #11117: Commit 23a1a4b pushed by mathlib-bors bot
October 17, 2024 22:32 7m 20s staging
staging
October 17, 2024 22:32 7m 20s
chore(Algebra.Order.Monoid.TypeTags): split into unbundled and bundle… continuous integration (staging) #11116: Commit 389e097 pushed by mathlib-bors bot
October 17, 2024 21:00 47m 25s staging
staging
October 17, 2024 21:00 47m 25s
feat: a nonarchimedean group is totally disconnected (#16687) continuous integration (staging) #11115: Commit 34de726 pushed by mathlib-bors bot
October 17, 2024 20:35 24m 0s staging
staging
October 17, 2024 20:35 24m 0s
feat(Order/BooleanAlgebra, Data/Set/Basic): diff_le_diff_iff (#17876) continuous integration (staging) #11114: Commit a4d283b pushed by mathlib-bors bot
October 17, 2024 19:56 38m 28s staging
staging
October 17, 2024 19:56 38m 28s
feat: a nonarchimedean group is totally disconnected (#16687) continuous integration (staging) #11113: Commit 5d83d26 pushed by mathlib-bors bot
October 17, 2024 19:23 32m 21s staging
staging
October 17, 2024 19:23 32m 21s
feat: sufficient condition for a set of linear forms to span the dual… continuous integration (staging) #11112: Commit 4092287 pushed by mathlib-bors bot
October 17, 2024 19:04 19m 38s staging
staging
October 17, 2024 19:04 19m 38s
feat(RingTheory/PowerSeries/WellKnown): changed `PowerSeries.invOneSu… continuous integration (staging) #11111: Commit 9d883e2 pushed by mathlib-bors bot
October 17, 2024 17:56 8m 10s staging
staging
October 17, 2024 17:56 8m 10s
feat: more tail recursion when finding Mersenne primes (#16168) continuous integration (staging) #11110: Commit a2b42c2 pushed by mathlib-bors bot
October 17, 2024 16:56 5m 3s staging
staging
October 17, 2024 16:56 5m 3s
feat(Algebra/Module/Submodule): lemmas about domRestrict (#17806) continuous integration (staging) #11109: Commit c744def pushed by mathlib-bors bot
October 17, 2024 16:19 37m 35s staging
staging
October 17, 2024 16:19 37m 35s
feat(Algebra/Module/Submodule): lemmas about domRestrict (#17806) continuous integration (staging) #11108: Commit 53d194d pushed by mathlib-bors bot
October 17, 2024 16:17 1m 43s staging
staging
October 17, 2024 16:17 1m 43s
chore(Analysis): remove unused variables (#17874) continuous integration (staging) #11107: Commit d2ce997 pushed by mathlib-bors bot
October 17, 2024 15:41 35m 35s staging
staging
October 17, 2024 15:41 35m 35s
chore: remove porting notes about adding/removing @[ext] attributes… continuous integration (staging) #11106: Commit 3f297f5 pushed by mathlib-bors bot
October 17, 2024 15:04 36m 53s staging
staging
October 17, 2024 15:04 36m 53s
chore: remove "CoeFun -> FunLike" porting/adaptation notes (#17871) continuous integration (staging) #11105: Commit 12a1544 pushed by mathlib-bors bot
October 17, 2024 14:30 33m 15s staging
staging
October 17, 2024 14:30 33m 15s
feat: Polynomial.degree_prod_of_monic (#17330) continuous integration (staging) #11104: Commit 4dfa80d pushed by mathlib-bors bot
October 17, 2024 14:00 29m 50s staging
staging
October 17, 2024 14:00 29m 50s
feat: PosSMulMono ℚ α → PosSMulMono ℚ≥0 α (#17217) continuous integration (staging) #11103: Commit 090e243 pushed by mathlib-bors bot
October 17, 2024 13:44 15m 57s staging
staging
October 17, 2024 13:44 15m 57s
chore: update Mathlib dependencies 2024-10-17 (#17865) continuous integration (staging) #11102: Commit 8306205 pushed by mathlib-bors bot
October 17, 2024 13:07 36m 6s staging
staging
October 17, 2024 13:07 36m 6s
chore(LinearAlgebra/LinearIndependent): generalize a section from rin… continuous integration (staging) #11101: Commit fa6b249 pushed by mathlib-bors bot
October 17, 2024 12:44 23m 25s staging
staging
October 17, 2024 12:44 23m 25s
chore(LinearAlgebra/LinearIndependent): generalize a section from rin… continuous integration (staging) #11100: Commit 628c756 pushed by mathlib-bors bot
October 17, 2024 12:32 12m 27s staging
staging
October 17, 2024 12:32 12m 27s
chore: move NNRat APIs earlier (#17269) continuous integration (staging) #11099: Commit 417a1a9 pushed by mathlib-bors bot
October 17, 2024 12:31 1m 1s staging
staging
October 17, 2024 12:31 1m 1s
feat(RingTheory/Flat/FaithfullyFlat): definition of faithfully flat m… continuous integration (staging) #11098: Commit 2283315 pushed by mathlib-bors bot
October 17, 2024 12:07 23m 46s staging
staging
October 17, 2024 12:07 23m 46s
feat(Algebraize): Fix algebraize tactic (#17839) continuous integration (staging) #11097: Commit dc52856 pushed by mathlib-bors bot
October 17, 2024 11:37 30m 23s staging
staging
October 17, 2024 11:37 30m 23s
feat(LinearAlgebra/TensorProduct/Quotient): add some isomorphisms (#1… continuous integration (staging) #11096: Commit d51a8c9 pushed by mathlib-bors bot
October 17, 2024 11:30 7m 2s staging
staging
October 17, 2024 11:30 7m 2s
feat(RingTheory/Flat/FaithfullyFlat): definition of faithfully flat m… continuous integration (staging) #11095: Commit 025c0a2 pushed by mathlib-bors bot
October 17, 2024 11:22 7m 6s staging
staging
October 17, 2024 11:22 7m 6s
feat(RingTheory/Flat/FaithfullyFlat): definition of faithfully flat m… continuous integration (staging) #11094: Commit 3455c51 pushed by mathlib-bors bot
October 17, 2024 11:20 1m 43s staging
staging
October 17, 2024 11:20 1m 43s
feat(AlgebraicGeometry): stability properties of separated (#17861) continuous integration (staging) #11093: Commit d951eef pushed by mathlib-bors bot
October 17, 2024 10:54 7m 18s staging
staging
October 17, 2024 10:54 7m 18s