Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,802 workflow runs
7,802 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: positive contractions in a C⋆-algebra form a directed set (#18016) continuous integration (staging) #11508: Commit e15c6eb pushed by mathlib-bors bot
October 30, 2024 16:54 9m 32s staging
staging
October 30, 2024 16:54 9m 32s
chore: golf LinearMap.weakBilin_withSeminorms (#18443) continuous integration (staging) #11507: Commit 2f4be05 pushed by mathlib-bors bot
October 30, 2024 15:54 7m 18s staging
staging
October 30, 2024 15:54 7m 18s
feat(FieldTheory): add basic api's for relative algebraic closure (#1… continuous integration (staging) #11506: Commit 4b231df pushed by mathlib-bors bot
October 30, 2024 14:15 13m 5s staging
staging
October 30, 2024 14:15 13m 5s
feat: in a C⋆-algebra, if 1 ≤ a, then a ^ · is monotone (#18351) continuous integration (staging) #11505: Commit 1563a2c pushed by mathlib-bors bot
October 30, 2024 14:02 8m 23s staging
staging
October 30, 2024 14:02 8m 23s
feat(FieldTheory.Separable) : generalize IsSeparable.of_equiv_equiv… continuous integration (staging) #11504: Commit cefc7e3 pushed by mathlib-bors bot
October 30, 2024 12:41 12m 17s staging
staging
October 30, 2024 12:41 12m 17s
refactor: ungeneralize LinearIndependent (#18426) continuous integration (staging) #11503: Commit 89e654a pushed by mathlib-bors bot
October 30, 2024 11:48 25m 26s staging
staging
October 30, 2024 11:48 25m 26s
chore: remove more unused variables (#18425) continuous integration (staging) #11502: Commit 250bf30 pushed by mathlib-bors bot
October 30, 2024 10:00 8m 32s staging
staging
October 30, 2024 10:00 8m 32s
feat(FieldTheory/IntermediateField): add instances for intermediate f… continuous integration (staging) #11501: Commit 3f7722b pushed by mathlib-bors bot
October 30, 2024 09:35 23m 31s staging
staging
October 30, 2024 09:35 23m 31s
chore: update Mathlib dependencies 2024-10-30 (#18428) continuous integration (staging) #11500: Commit db64016 pushed by mathlib-bors bot
October 30, 2024 09:05 29m 57s staging
staging
October 30, 2024 09:05 29m 57s
feat(FieldTheory/Minpoly): minpoly K x splits implies `minpoly K (x… continuous integration (staging) #11499: Commit 153aff5 pushed by mathlib-bors bot
October 30, 2024 08:37 34m 39s staging
staging
October 30, 2024 08:37 34m 39s
chore(RingTheory/Ideal): split Quotient.lean into Defs and `Basic… continuous integration (staging) #11498: Commit abfa430 pushed by mathlib-bors bot
October 30, 2024 08:00 57m 14s staging
staging
October 30, 2024 08:00 57m 14s
feat(Algebra/Module): characterizations of free modules in terms of t… continuous integration (staging) #11497: Commit 3977332 pushed by mathlib-bors bot
October 30, 2024 05:45 2h 25m 19s staging
staging
October 30, 2024 05:45 2h 25m 19s
feat(RingTheory/AlgebraicIndependent): add some results on `Algebraic… continuous integration (staging) #11496: Commit ef29c80 pushed by mathlib-bors bot
October 30, 2024 05:09 53m 48s staging
staging
October 30, 2024 05:09 53m 48s
chore(scripts/mk_all): gracefully run loadWorkspace (#17953) continuous integration (staging) #11495: Commit 801cc3e pushed by mathlib-bors bot
October 30, 2024 02:32 7m 15s staging
staging
October 30, 2024 02:32 7m 15s
chore(technical-debt-metrics): exclude maxHeartbeats in test/ (#18369) continuous integration (staging) #11494: Commit 926fb9e pushed by mathlib-bors bot
October 30, 2024 01:50 6m 58s staging
staging
October 30, 2024 01:50 6m 58s
chore: remove a Monad assumption and a linked do (#18420) continuous integration (staging) #11493: Commit ebecc12 pushed by mathlib-bors bot
October 30, 2024 01:08 7m 41s staging
staging
October 30, 2024 01:08 7m 41s
refactor(CategoryTheory): simplicial categories are generalized to en… continuous integration (staging) #11492: Commit ef78db7 pushed by mathlib-bors bot
October 30, 2024 00:13 9m 13s staging
staging
October 30, 2024 00:13 9m 13s
refactor(LinearAlgebra/BilinearForm/TensorProduct): Tensor products o… continuous integration (staging) #11491: Commit c96009e pushed by mathlib-bors bot
October 29, 2024 23:03 10m 54s staging
staging
October 29, 2024 23:03 10m 54s
feat(CategoryTheory/Comma): limit properties of subcategories defined… continuous integration (staging) #11490: Commit 39a385b pushed by mathlib-bors bot
October 29, 2024 22:45 17m 57s staging
staging
October 29, 2024 22:45 17m 57s
feat: (cfcₙ f a : A⁺¹) = cfc f (a : A⁺¹) (#18358) continuous integration (staging) #11489: Commit 2fcccf3 pushed by mathlib-bors bot
October 29, 2024 22:19 10m 34s staging
staging
October 29, 2024 22:19 10m 34s
refactor(Algebra/Polynomial/Smeval): sort out module structures (#18410) continuous integration (staging) #11488: Commit d77087c pushed by mathlib-bors bot
October 29, 2024 21:42 7m 59s staging
staging
October 29, 2024 21:42 7m 59s
feat: add a uniqueness result for one-point compactification (#18411) continuous integration (staging) #11487: Commit c8dae00 pushed by mathlib-bors bot
October 29, 2024 20:27 7m 57s staging
staging
October 29, 2024 20:27 7m 57s
feat(AlgebraicGeometry/PrimeSpectrum): description of clopen subsets… continuous integration (staging) #11486: Commit f569438 pushed by mathlib-bors bot
October 29, 2024 19:34 10m 33s staging
staging
October 29, 2024 19:34 10m 33s
fix: add minImport tests in test file (#18405) continuous integration (staging) #11485: Commit 5724fc0 pushed by mathlib-bors bot
October 29, 2024 17:56 7m 48s staging
staging
October 29, 2024 17:56 7m 48s
chore(LinearAlgebra): split Quotient.lean into Defs and Basic (… continuous integration (staging) #11484: Commit 07a7b10 pushed by mathlib-bors bot
October 29, 2024 16:55 23m 55s staging
staging
October 29, 2024 16:55 23m 55s