Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
5,169 workflow run results
5,169 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(CauSeq): cleanup imports (#14220) continuous integration (staging) #8807: Commit 437dfc0 pushed by mathlib-bors bot
June 28, 2024 10:20 30m 18s staging
staging
June 28, 2024 10:20 30m 18s
chore(*): remove some deprecated theorems (#14214) continuous integration (staging) #8806: Commit c4dd024 pushed by mathlib-bors bot
June 28, 2024 09:13 1h 6m 35s staging
staging
June 28, 2024 09:13 1h 6m 35s
chore: bump ProofWidgets4 to v0.0.38 (#14198) continuous integration (staging) #8805: Commit dcc73cf pushed by mathlib-bors bot
June 28, 2024 03:48 58m 8s staging
staging
June 28, 2024 03:48 58m 8s
feat: add simp attributes to some IsSelfAdjoint lemmas (#14209) continuous integration (staging) #8804: Commit c673d9d pushed by mathlib-bors bot
June 27, 2024 22:54 37m 52s staging
staging
June 27, 2024 22:54 37m 52s
chore: delay imports of OrderedRing via PNat (#14182) continuous integration (staging) #8803: Commit 7c550fc pushed by mathlib-bors bot
June 27, 2024 21:45 49m 8s staging
staging
June 27, 2024 21:45 49m 8s
chore(Order/Filter/Basic): assert_not_exists OrderedSemiring (#14179) continuous integration (staging) #8802: Commit 76bb425 pushed by mathlib-bors bot
June 27, 2024 21:04 41m 17s staging
staging
June 27, 2024 21:04 41m 17s
chore(AddConstMap): don't extend FunLike (#14201) continuous integration (staging) #8801: Commit b0640e9 pushed by mathlib-bors bot
June 27, 2024 19:33 11m 28s staging
staging
June 27, 2024 19:33 11m 28s
feat: the spectrum of a diagonal matrix is the range of the diagonal … continuous integration (staging) #8800: Commit 7faa8af pushed by mathlib-bors bot
June 27, 2024 18:55 10m 25s staging
staging
June 27, 2024 18:55 10m 25s
chore(Condensed): make the definition of underlying light condensed s… continuous integration (staging) #8799: Commit b7dc990 pushed by mathlib-bors bot
June 27, 2024 17:23 10m 21s staging
staging
June 27, 2024 17:23 10m 21s
chore: Improved nth_rewrite and nth_rw docstrings (#13877) continuous integration (staging) #8798: Commit 9687596 pushed by mathlib-bors bot
June 27, 2024 15:05 58m 42s staging
staging
June 27, 2024 15:05 58m 42s
chore (abel): abel shouldn't depend on ordered algebra (#14188) continuous integration (staging) #8797: Commit e446b83 pushed by mathlib-bors bot
June 27, 2024 14:25 39m 43s staging
staging
June 27, 2024 14:25 39m 43s
doc(RingTheory/Flat/Algebra) fix docstring (#14193) continuous integration (staging) #8796: Commit 063dd4a pushed by mathlib-bors bot
June 27, 2024 12:40 10m 55s staging
staging
June 27, 2024 12:40 10m 55s
chore: tweaks to scripts/create-adaptation-pr.sh (#14191) continuous integration (staging) #8795: Commit f62e3e2 pushed by mathlib-bors bot
June 27, 2024 12:07 32m 55s staging
staging
June 27, 2024 12:07 32m 55s
chore: categorise porting notes related to ext (#13928) continuous integration (staging) #8794: Commit 9ab745f pushed by mathlib-bors bot
June 27, 2024 11:26 40m 34s staging
staging
June 27, 2024 11:26 40m 34s
feat(RingTheory/GradedAlgebra/Noetherian): properties of a graded Noe… continuous integration (staging) #8793: Commit 4daf382 pushed by mathlib-bors bot
June 27, 2024 11:16 10m 14s staging
staging
June 27, 2024 11:16 10m 14s
feat(SetTheory/Surreal/Basic): surreal number multiplication (#14044) continuous integration (staging) #8792: Commit 9c4c6f7 pushed by mathlib-bors bot
June 27, 2024 05:39 56m 28s staging
staging
June 27, 2024 05:39 56m 28s
chore: add a script to automate nightly adaptation prs (#14178) continuous integration (staging) #8791: Commit 0e9d6a7 pushed by mathlib-bors bot
June 27, 2024 05:05 10m 12s staging
staging
June 27, 2024 05:05 10m 12s
feat: Star algebras satisfy OrderedSMul (#13427) continuous integration (staging) #8790: Commit 086557d pushed by mathlib-bors bot
June 27, 2024 04:18 26m 48s staging
staging
June 27, 2024 04:18 26m 48s
feat(Order/KrullDimension): add some basic lemmas about krull dimensi… continuous integration (staging) #8789: Commit c95b27f pushed by mathlib-bors bot
June 27, 2024 01:16 21m 18s staging
staging
June 27, 2024 01:16 21m 18s
feat(Nat/Factorization): add exists_eq_two_pow_mul_odd (#14166) continuous integration (staging) #8788: Commit 915d870 pushed by mathlib-bors bot
June 27, 2024 00:05 31m 19s staging
staging
June 27, 2024 00:05 31m 19s
feat(Set): Add Set.Finite.powerset (#14175) continuous integration (staging) #8787: Commit 270043b pushed by mathlib-bors bot
June 26, 2024 23:14 51m 51s staging
staging
June 26, 2024 23:14 51m 51s
doc: clarify sections docstring (#14174) continuous integration (staging) #8786: Commit 521c729 pushed by mathlib-bors bot
June 26, 2024 22:48 26m 2s staging
staging
June 26, 2024 22:48 26m 2s
doc: clarify finite adele ring docstring (#14172) continuous integration (staging) #8785: Commit 71b736c pushed by mathlib-bors bot
June 26, 2024 22:37 10m 18s staging
staging
June 26, 2024 22:37 10m 18s
refactor(Algebra/Star/StarAlgHom): Reverting {_ : ...} to [...] (#14110) continuous integration (staging) #8784: Commit 7d6e157 pushed by mathlib-bors bot
June 26, 2024 22:10 27m 41s staging
staging
June 26, 2024 22:10 27m 41s
feat: lemmas needed for Sobolev inequality (#14159) continuous integration (staging) #8783: Commit 94b541f pushed by mathlib-bors bot
June 26, 2024 21:12 58m 1s staging
staging
June 26, 2024 21:12 58m 1s