Skip to content

Actions: leanprover-community/mathlib4

Actions

continuous integration (staging)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(scripts/create-adaptation-pr): Add automatic mode using zulip-s… continuous integration (staging) #10604: Commit 2625464 pushed by mathlib-bors bot
September 23, 2024 23:48 8m 27s staging
staging
September 23, 2024 23:48 8m 27s
feat: The computable functions are closed under if-then-else definiti… continuous integration (staging) #10603: Commit 3b44012 pushed by mathlib-bors bot
September 23, 2024 21:06 9m 19s staging
staging
September 23, 2024 21:06 9m 19s
feat: a⁺ = b⁺ ∧ a⁻ = b⁻ ↔ a = b (#17061) continuous integration (staging) #10602: Commit 0ad1d17 pushed by mathlib-bors bot
September 23, 2024 20:26 40m 11s staging
staging
September 23, 2024 20:26 40m 11s
feat(Order/SuccPred/Limit): IsSuccPrelimit.le_iff_forall_le (#17026) continuous integration (staging) #10601: Commit c133269 pushed by mathlib-bors bot
September 23, 2024 19:41 42m 2s staging
staging
September 23, 2024 19:41 42m 2s
refactor: Unsimp div_pow/div_zpow (#17019) continuous integration (staging) #10600: Commit 5b806f5 pushed by mathlib-bors bot
September 23, 2024 18:16 55m 2s staging
staging
September 23, 2024 18:16 55m 2s
feature(Analysis/Normed/Module/Dual): Add a few polar lemmas (#16426) continuous integration (staging) #10599: Commit 8192b1a pushed by mathlib-bors bot
September 23, 2024 18:06 8m 29s staging
staging
September 23, 2024 18:06 8m 29s
doc: fix a typo in étale algebra definition (#17056) continuous integration (staging) #10598: Commit b978dc4 pushed by mathlib-bors bot
September 23, 2024 17:07 9m 15s staging
staging
September 23, 2024 17:07 9m 15s
feat(NumberField/CanonicalEmbedding/FundamentalCone): Prove equivalen… continuous integration (staging) #10597: Commit 7e01848 pushed by mathlib-bors bot
September 23, 2024 16:51 8m 51s staging
staging
September 23, 2024 16:51 8m 51s
feat: add map_i[I]nf for sub(semi)ring, subalgebra, subfield etc. (… continuous integration (staging) #10596: Commit 2aa39ca pushed by mathlib-bors bot
September 23, 2024 15:48 44m 28s staging
staging
September 23, 2024 15:48 44m 28s
feat: maximal upper/minimal lower bounds of finset elements (#16970) continuous integration (staging) #10595: Commit 305ddf1 pushed by mathlib-bors bot
September 23, 2024 14:56 51m 47s staging
staging
September 23, 2024 14:56 51m 47s
feat(CategoryTheory): MonoidalClosed instance on functors to Type… continuous integration (staging) #10594: Commit 9c7175d pushed by mathlib-bors bot
September 23, 2024 14:47 8m 54s staging
staging
September 23, 2024 14:47 8m 54s
chore(Data/Finset): move non-lattice lemma out of lattice file (#17048) continuous integration (staging) #10593: Commit 0c560e4 pushed by mathlib-bors bot
September 23, 2024 13:56 50m 50s staging
staging
September 23, 2024 13:56 50m 50s
chore: update Mathlib dependencies 2024-09-23 (#17050) continuous integration (staging) #10592: Commit 596cf19 pushed by mathlib-bors bot
September 23, 2024 13:07 49m 17s staging
staging
September 23, 2024 13:07 49m 17s
feat: ⌈a⌉ < 2 * a (#17024) continuous integration (staging) #10591: Commit 9a329fb pushed by mathlib-bors bot
September 23, 2024 12:22 44m 36s staging
staging
September 23, 2024 12:22 44m 36s
chore: generalize IsBoundedBilinearMap to seminormed spaces (#17011) continuous integration (staging) #10590: Commit ac537a4 pushed by mathlib-bors bot
September 23, 2024 11:56 21m 36s staging
staging
September 23, 2024 11:56 21m 36s
refactor: switch final use of Batteries.HashMap to Std.HashMap (#17042) continuous integration (staging) #10589: Commit 20d470b pushed by mathlib-bors bot
September 23, 2024 11:30 8m 51s staging
staging
September 23, 2024 11:30 8m 51s
feat: a * a⁻¹ ≤ 1 (#17023) continuous integration (staging) #10588: Commit 09c50fb pushed by mathlib-bors bot
September 23, 2024 09:33 48m 11s staging
staging
September 23, 2024 09:33 48m 11s
chore(*): Use non-greek variable names here and there (#17035) continuous integration (staging) #10587: Commit b4dda71 pushed by mathlib-bors bot
September 23, 2024 08:50 43m 1s staging
staging
September 23, 2024 08:50 43m 1s
doc(Algebra/AlgebraicCard): update docstring (#17031) continuous integration (staging) #10586: Commit 6fd58d5 pushed by mathlib-bors bot
September 23, 2024 08:41 9m 38s staging
staging
September 23, 2024 08:41 9m 38s
feat: switch final use of Batteries.HashMap to Std.HashMap (#17042) continuous integration (staging) #10585: Commit 5de1cb5 pushed by mathlib-bors bot
September 23, 2024 07:35 8m 46s staging
staging
September 23, 2024 07:35 8m 46s
feat(Counterexamples/GameMultiplication): pre-game product cannot be … continuous integration (staging) #10584: Commit 9890065 pushed by mathlib-bors bot
September 23, 2024 03:11 9m 31s staging
staging
September 23, 2024 03:11 9m 31s
feat(Algebra/Group/Equiv/TypeTags): moving Multiplicative inside pi… continuous integration (staging) #10583: Commit 78c142c pushed by mathlib-bors bot
September 23, 2024 00:11 8m 38s staging
staging
September 23, 2024 00:11 8m 38s
refactor: Unsimp div_pow/div_zpow (#17019) continuous integration (staging) #10582: Commit 9274c08 pushed by mathlib-bors bot
September 22, 2024 22:52 29m 28s staging
staging
September 22, 2024 22:52 29m 28s
feat: Fintype.prod_ite_mem (#17017) continuous integration (staging) #10581: Commit ed1a8a0 pushed by mathlib-bors bot
September 22, 2024 18:19 39m 18s staging
staging
September 22, 2024 18:19 39m 18s
feat(Finset): (a • s).dens = s.dens (#17020) continuous integration (staging) #10580: Commit da16ebc pushed by mathlib-bors bot
September 22, 2024 15:36 8m 50s staging
staging
September 22, 2024 15:36 8m 50s