Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bors.yml
7,037 workflow run results
7,037 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(CategoryTheory/Abelian): AB4 and AB5 axioms (#6504) continuous integration (staging) #10407: Commit 185d800 pushed by mathlib-bors bot
September 12, 2024 14:29 21m 7s staging
staging
September 12, 2024 14:29 21m 7s
feat(CategoryTheory/Filtered): finality and initiality of projections… continuous integration (staging) #10406: Commit 776511a pushed by mathlib-bors bot
September 12, 2024 10:52 57m 42s staging
staging
September 12, 2024 10:52 57m 42s
chore: deprecate 14 Init.Logic lemmas (#16721) continuous integration (staging) #10405: Commit 2f55b8c pushed by mathlib-bors bot
September 12, 2024 09:57 55m 8s staging
staging
September 12, 2024 09:57 55m 8s
feat(Algebra/OpenSubgroup): quotient of compact group by open subgrou… continuous integration (staging) #10404: Commit a709017 pushed by mathlib-bors bot
September 12, 2024 09:29 27m 57s staging
staging
September 12, 2024 09:29 27m 57s
feat(Data/Nat/Bitwise): more symmetric statement of `Nat.xor_trichoto… continuous integration (staging) #10403: Commit 2c64747 pushed by mathlib-bors bot
September 12, 2024 08:50 38m 59s staging
staging
September 12, 2024 08:50 38m 59s
chore: include LeanSearchClient in the cache (#16717) continuous integration (staging) #10402: Commit b589cdd pushed by mathlib-bors bot
September 12, 2024 08:03 46m 23s staging
staging
September 12, 2024 08:03 46m 23s
feat: Small.{u} sets are closed under various operations (#11126) continuous integration (staging) #10401: Commit 002afcf pushed by mathlib-bors bot
September 12, 2024 07:15 48m 33s staging
staging
September 12, 2024 07:15 48m 33s
feat: generalize Module.Free.ChooseBasisIndex.fintype and Module.Fini… continuous integration (staging) #10400: Commit 7eb3f52 pushed by mathlib-bors bot
September 12, 2024 06:16 45m 55s staging
staging
September 12, 2024 06:16 45m 55s
chore(SetTheory/Ordinal/Arithmetic): hide implementation details (#16… continuous integration (staging) #10399: Commit 05bd9c4 pushed by mathlib-bors bot
September 12, 2024 05:45 30m 39s staging
staging
September 12, 2024 05:45 30m 39s
feat(Algebra/Order/Archimedean/Submonoid): `SubmonoidClass.instMulArc… continuous integration (staging) #10398: Commit 7e96235 pushed by mathlib-bors bot
September 12, 2024 05:36 9m 5s staging
staging
September 12, 2024 05:36 9m 5s
feat: catch non-zero exit code from print-style-output (#16709) continuous integration (staging) #10397: Commit 086be1c pushed by mathlib-bors bot
September 12, 2024 04:36 59m 55s staging
staging
September 12, 2024 04:36 59m 55s
chore: deprecate all but IsSymmOp in Init.Algebra.Classes (#16698) continuous integration (staging) #10396: Commit d813c09 pushed by mathlib-bors bot
September 12, 2024 03:40 56m 29s staging
staging
September 12, 2024 03:40 56m 29s
feat: catch non-zero exit code from print-style-output (#16709) continuous integration (staging) #10395: Commit f0383d4 pushed by mathlib-bors bot
September 12, 2024 02:44 55m 43s staging
staging
September 12, 2024 02:44 55m 43s
chore: namespace rsuffices (#16708) continuous integration (staging) #10394: Commit b9bbf9b pushed by mathlib-bors bot
September 12, 2024 01:45 58m 25s staging
staging
September 12, 2024 01:45 58m 25s
chore: update Mathlib dependencies 2024-09-11 (#16714) continuous integration (staging) #10393: Commit 216c754 pushed by mathlib-bors bot
September 11, 2024 20:04 9m 16s staging
staging
September 11, 2024 20:04 9m 16s
fix: please the long line linter in check-yaml (#16697) continuous integration (staging) #10392: Commit d1657b5 pushed by mathlib-bors bot
September 11, 2024 18:10 8m 45s staging
staging
September 11, 2024 18:10 8m 45s
feat(Lie): make CommutatorRing a NonUnitalNonAssocRing (#16702) continuous integration (staging) #10391: Commit 0c868b6 pushed by mathlib-bors bot
September 11, 2024 15:57 10m 4s staging
staging
September 11, 2024 15:57 10m 4s
feat(GroupTheory/GroupAction/Quotient): `equivSubgroupOrbitsQuotientG… continuous integration (staging) #10390: Commit ef7e491 pushed by mathlib-bors bot
September 11, 2024 15:21 36m 53s staging
staging
September 11, 2024 15:21 36m 53s
feat(Algebra/BigOperators/Associated): add lemma divisor_closure_eq_c… continuous integration (staging) #10389: Commit 5d603d7 pushed by mathlib-bors bot
September 11, 2024 14:35 30m 56s staging
staging
September 11, 2024 14:35 30m 56s
feat(Algebra/Polynomial/Derivation): coefficient-wise derivation on a… continuous integration (staging) #10388: Commit ef71a8c pushed by mathlib-bors bot
September 11, 2024 12:15 9m 18s staging
staging
September 11, 2024 12:15 9m 18s
feat(Algebra/Polynomial/Derivation): coefficient-wise derivation on a… continuous integration (staging) #10387: Commit 9977de3 pushed by mathlib-bors bot
September 11, 2024 10:08 1m 23s staging
staging
September 11, 2024 10:08 1m 23s
fix: make print-style-errors.sh robust against file names with quotes… continuous integration (staging) #10386: Commit 53d5e93 pushed by mathlib-bors bot
September 11, 2024 09:59 8m 42s staging
staging
September 11, 2024 09:59 8m 42s
chore: deprecate dif_ctx_congr, move if_(ctx_)congr (#16692) continuous integration (staging) #10385: Commit 4b83244 pushed by mathlib-bors bot
September 11, 2024 05:42 56m 10s staging
staging
September 11, 2024 05:42 56m 10s
chore: remove variables from LinearAlgebra.FreeModule.Finite.Basic (#… continuous integration (staging) #10384: Commit 0e1a0b8 pushed by mathlib-bors bot
September 11, 2024 04:48 54m 29s staging
staging
September 11, 2024 04:48 54m 29s
chore: move ExistsUnique, Xor' out of Init.Logic (#16691) continuous integration (staging) #10383: Commit e992840 pushed by mathlib-bors bot
September 11, 2024 03:54 53m 56s staging
staging
September 11, 2024 03:54 53m 56s