Skip to content

Actions: leanprover-community/mathlib4

Actions

bot fix style (comment)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bot_fix_style_comment.yaml
5,783 workflow runs
5,783 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Analysis/Normed/Group/Ultra): triangle ineq for tsum & tprod bot fix style (comment) #5783: Issue comment #17584 (comment) created by loefflerd
October 9, 2024 17:06 2s
October 9, 2024 17:06 2s
chore(Order/RelIso/Basic): [s : Setoid α] => {s : Setoid α} bot fix style (comment) #5782: Issue comment #16267 (comment) created by mathlib-bors bot
October 9, 2024 16:57 2s
October 9, 2024 16:57 2s
chore(Order/RelIso/Basic): [s : Setoid α] => {s : Setoid α} bot fix style (comment) #5781: Issue comment #16267 (comment) created by urkud
October 9, 2024 16:57 2s
October 9, 2024 16:57 2s
chore: remove some Setoid.r bot fix style (comment) #5780: Issue comment #16258 (comment) created by mathlib-bors bot
October 9, 2024 16:54 2s
October 9, 2024 16:54 2s
chore: remove some Setoid.r bot fix style (comment) #5779: Issue comment #16258 (comment) created by urkud
October 9, 2024 16:54 2s
October 9, 2024 16:54 2s
chore: remove some Setoid.r bot fix style (comment) #5778: Issue comment #16258 (comment) created by mathlib-bors bot
October 9, 2024 16:48 2s
October 9, 2024 16:48 2s
chore: remove some Setoid.r bot fix style (comment) #5777: Issue comment #16258 (comment) created by FR-vdash-bot
October 9, 2024 16:48 2s
October 9, 2024 16:48 2s
feat(Algebra/ModuleCat/Presheaf): composition of pushforwards and pullbacks and compatibilites bot fix style (comment) #5776: Issue comment #17589 (comment) created by mathlib4-dependent-issues-bot
October 9, 2024 16:48 2s
October 9, 2024 16:48 2s
feat(AlgebraicTopology/Nerve): nerve is 2-coskeletal bot fix style (comment) #5775: Issue comment #16782 (comment) created by mathlib4-dependent-issues-bot
October 9, 2024 16:37 2s
October 9, 2024 16:37 2s
feat(AlgebraicTopology/HomotopyCat): SSet.hoFunctor bot fix style (comment) #5774: Issue comment #16783 (comment) edited by mathlib4-dependent-issues-bot
October 9, 2024 16:37 2s
October 9, 2024 16:37 2s
feat(AlgebraicTopology/NerveAdjunction): nerve adjunction, Cat has colimits bot fix style (comment) #5773: Issue comment #16784 (comment) edited by mathlib4-dependent-issues-bot
October 9, 2024 16:37 2s
October 9, 2024 16:37 2s
[Merged by Bors] - feat(AlgebraicTopology/SimplicialSet): SimplicialSet (co)skeleton properties bot fix style (comment) #5772: Issue comment #16781 (comment) created by mathlib-bors bot
October 9, 2024 16:31 3s
October 9, 2024 16:31 3s
[Merged by Bors] - refactor: deprecate ContinuousMonoidHomClass bot fix style (comment) #5771: Issue comment #17558 (comment) created by mathlib-bors bot
October 9, 2024 16:31 2s
October 9, 2024 16:31 2s
[Merged by Bors] - chore: redefine DivInvMonoid.zpow_succ' field bot fix style (comment) #5770: Issue comment #17573 (comment) created by mathlib-bors bot
October 9, 2024 16:31 3s
October 9, 2024 16:31 3s
[Merged by Bors] - chore(NumberTheory/FunctionField): replace Type by Type* bot fix style (comment) #5769: Issue comment #17577 (comment) created by mathlib-bors bot
October 9, 2024 16:31 2s
October 9, 2024 16:31 2s
[Merged by Bors] - feat(CategoryTheory/ChosenFiniteProducts): Add Mono instances for lifts of mono for ChosenFiniteProducts bot fix style (comment) #5768: Issue comment #17581 (comment) created by mathlib-bors bot
October 9, 2024 16:31 3s
October 9, 2024 16:31 3s
[Merged by Bors] - chore(CategoryTheory/Limits/Shapes/BinaryProducts): More universe flexibility for pairComp bot fix style (comment) #5767: Issue comment #17586 (comment) created by mathlib-bors bot
October 9, 2024 16:31 3s
October 9, 2024 16:31 3s
feat(Analysis/Normed/Group/Ultra): triangle ineq for tsum & tprod bot fix style (comment) #5766: Issue comment #17584 (comment) created by pechersky
October 9, 2024 16:10 2s
October 9, 2024 16:10 2s
[Merged by Bors] - feat: define finite length modules and show equivalence with IsNoetherian ∧ IsArtinian bot fix style (comment) #5765: Issue comment #17478 (comment) created by alreadydone
October 9, 2024 15:45 2s
October 9, 2024 15:45 2s
Clean up quotient APIs bot fix style (comment) #5764: Issue comment #16210 (comment) edited by mathlib4-dependent-issues-bot
October 9, 2024 15:34 3s
October 9, 2024 15:34 3s
chore: make Quotient.mk'' an abbrev of Quotient.mk _ bot fix style (comment) #5763: Issue comment #16264 (comment) created by mathlib4-dependent-issues-bot
October 9, 2024 15:34 3s
October 9, 2024 15:34 3s
chore: remove some Setoid.r bot fix style (comment) #5762: Issue comment #16258 (comment) created by mathlib-bors bot
October 9, 2024 15:32 2s
October 9, 2024 15:32 2s
[Merged by Bors] - chore(Data/Quot): [s : Setoid α] => {s : Setoid α} bot fix style (comment) #5761: Issue comment #16256 (comment) created by mathlib-bors bot
October 9, 2024 15:31 3s
October 9, 2024 15:31 3s
feat(RingTheory/LaurentSeries): add notation bot fix style (comment) #5760: Issue comment #16639 (comment) created by faenuccio
October 9, 2024 15:11 2s
October 9, 2024 15:11 2s
feat(RingTheory/LaurentSeries): add notation bot fix style (comment) #5759: Issue comment #16639 (comment) created by faenuccio
October 9, 2024 15:11 2s
October 9, 2024 15:11 2s