Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: monotonicity lemmas for OrdinalApprox (#15522) continuous integration (staging) #10654: Commit b272ab8 pushed by mathlib-bors bot
September 26, 2024 02:42 8m 57s staging
staging
September 26, 2024 02:42 8m 57s
feat(CategoryTheory): the internal hom with the monoidal unit is the … continuous integration (staging) #10653: Commit 3488c1c pushed by mathlib-bors bot
September 26, 2024 00:42 30m 49s staging
staging
September 26, 2024 00:42 30m 49s
feat: generalize normed instances on UniformSpace.Completion (#17059) continuous integration (staging) #10652: Commit 3874c4e pushed by mathlib-bors bot
September 26, 2024 00:13 29m 32s staging
staging
September 26, 2024 00:13 29m 32s
chore: update Mathlib dependencies 2024-09-25 (#17143) continuous integration (staging) #10651: Commit 4e3fd1a pushed by mathlib-bors bot
September 26, 2024 00:03 9m 2s staging
staging
September 26, 2024 00:03 9m 2s
chore(Condensed): shorten some names (#17075) continuous integration (staging) #10650: Commit 34e653f pushed by mathlib-bors bot
September 25, 2024 22:30 8m 16s staging
staging
September 25, 2024 22:30 8m 16s
feat(Combinatorics/Quiver/ReflQuiver): reflexive quivers (#16780) continuous integration (staging) #10649: Commit 3f6b70f pushed by mathlib-bors bot
September 25, 2024 21:34 19m 54s staging
staging
September 25, 2024 21:34 19m 54s
feat(FieldTheory/Minpoly): remove IsIntegral condition for lemmas (… continuous integration (staging) #10648: Commit 88787b2 pushed by mathlib-bors bot
September 25, 2024 21:17 17m 4s staging
staging
September 25, 2024 21:17 17m 4s
chore(Analysis/InnerProductSpace): weaken assumptions to `SeminormedA… continuous integration (staging) #10647: Commit 691fdda pushed by mathlib-bors bot
September 25, 2024 20:50 18m 14s staging
staging
September 25, 2024 20:50 18m 14s
feat: Mᴴ * M = 1 when M := a.toBasis.toMatrix b (#17136) continuous integration (staging) #10646: Commit 15dec28 pushed by mathlib-bors bot
September 25, 2024 19:13 21m 20s staging
staging
September 25, 2024 19:13 21m 20s
chore(Set/Image): rename 2 lemmas (#17134) continuous integration (staging) #10645: Commit 5f551d9 pushed by mathlib-bors bot
September 25, 2024 15:52 53m 5s staging
staging
September 25, 2024 15:52 53m 5s
chore(Condensed): shorten some names (#17075) continuous integration (staging) #10644: Commit 65888ad pushed by mathlib-bors bot
September 25, 2024 15:05 41s staging
staging
September 25, 2024 15:05 41s
feat(CategoryTheory/Limits): dualize Pi.isoLimit to Sigma.isoColimit … continuous integration (staging) #10643: Commit a95aae1 pushed by mathlib-bors bot
September 25, 2024 14:12 20m 32s staging
staging
September 25, 2024 14:12 20m 32s
feat(Dynamics.TopologicalEntropy): add definition of topological entr… continuous integration (staging) #10642: Commit be952f8 pushed by mathlib-bors bot
September 25, 2024 13:57 8m 48s staging
staging
September 25, 2024 13:57 8m 48s
feat(LinearAlgebra/Matrix): Woodbury Identity (#16325) continuous integration (staging) #10641: Commit e998b01 pushed by mathlib-bors bot
September 25, 2024 13:52 1m 42s staging
staging
September 25, 2024 13:52 1m 42s
feat: the docPrime linter (#16694) continuous integration (staging) #10640: Commit c7dedd6 pushed by mathlib-bors bot
September 25, 2024 13:34 9m 19s staging
staging
September 25, 2024 13:34 9m 19s
chore(Symmetric/FundamentalTheorem): omit unused Fintype assumption… continuous integration (staging) #10639: Commit ecabe92 pushed by mathlib-bors bot
September 25, 2024 13:22 9m 29s staging
staging
September 25, 2024 13:22 9m 29s
feat(Dynamics.TopologicalEntropy): add definition of topological entr… continuous integration (staging) #10638: Commit 76338db pushed by mathlib-bors bot
September 25, 2024 13:07 1m 25s staging
staging
September 25, 2024 13:07 1m 25s
doc: Improve documentation of ordinal-indexed approximations (#16406) continuous integration (staging) #10637: Commit 2ab87b4 pushed by mathlib-bors bot
September 25, 2024 12:08 8m 57s staging
staging
September 25, 2024 12:08 8m 57s
feat(CategoryTheory): simps for conjugateEquiv plus computable `con… continuous integration (staging) #10636: Commit 4591e55 pushed by mathlib-bors bot
September 25, 2024 09:39 15m 30s staging
staging
September 25, 2024 09:39 15m 30s
feat: match_scalars and module tactics (#16593) continuous integration (staging) #10635: Commit 7c93f86 pushed by mathlib-bors bot
September 25, 2024 08:58 41m 32s staging
staging
September 25, 2024 08:58 41m 32s
feat (MeasureTheory): Integrability and integral when the domain is e… continuous integration (staging) #10634: Commit 1fc8e52 pushed by mathlib-bors bot
September 25, 2024 08:40 18m 24s staging
staging
September 25, 2024 08:40 18m 24s
feat(MeasureTheory): generalize instance `ContinuousInv.measurableInv… continuous integration (staging) #10633: Commit f8769ab pushed by mathlib-bors bot
September 25, 2024 08:19 20m 30s staging
staging
September 25, 2024 08:19 20m 30s
feat: match_scalars and module tactics (#16593) continuous integration (staging) #10632: Commit 2f407c3 pushed by mathlib-bors bot
September 25, 2024 06:53 35m 34s staging
staging
September 25, 2024 06:53 35m 34s
fix: remove non-breaking-space (#17116) continuous integration (staging) #10631: Commit f7eb186 pushed by mathlib-bors bot
September 25, 2024 02:33 9m 10s staging
staging
September 25, 2024 02:33 9m 10s
fix: do not rely on the definition for List.ofFn (#17118) continuous integration (staging) #10630: Commit 3c4370e pushed by mathlib-bors bot
September 25, 2024 02:09 23m 41s staging
staging
September 25, 2024 02:09 23m 41s