Skip to content

Actions: leanprover-community/mathlib4

Actions

lint and suggest

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint_and_suggest_pr.yml
71,872 workflow runs
71,872 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(MvPowerSeries/Substitution): substitution of power series inside power series lint and suggest #71899: Pull request #15158 synchronize by AntoineChambert-Loir
December 11, 2024 09:48 1m 5s ACLMIdFF/MvPowerSeries_Substitution
ACLMIdFF/MvPowerSeries_Substitution
December 11, 2024 09:48 1m 5s
feat(MvPowerSeries/Substitution): substitution of power series inside power series lint and suggest #71898: Pull request #15158 synchronize by AntoineChambert-Loir
December 11, 2024 09:28 1m 6s ACLMIdFF/MvPowerSeries_Substitution
ACLMIdFF/MvPowerSeries_Substitution
December 11, 2024 09:28 1m 6s
feat(Mathlib.RingTheory.MvPowerSeries.Evaluation): evaluation of power series lint and suggest #71897: Pull request #15019 synchronize by AntoineChambert-Loir
December 11, 2024 09:26 1m 10s ACLMIdFF/MvPowerSeries_Evaluation
ACLMIdFF/MvPowerSeries_Evaluation
December 11, 2024 09:26 1m 10s
feat: generalize LinearMap.det_smul lint and suggest #71896: Pull request #19885 synchronize by eric-wieser
December 11, 2024 09:07 1m 9s eric-wieser/generalize-det_smul
eric-wieser/generalize-det_smul
December 11, 2024 09:07 1m 9s
chore: rename DivInvMonoid.Pow lint and suggest #71895: Pull request #19884 synchronize by eric-wieser
December 11, 2024 08:59 1m 5s eric-wieser/rename-Pow
eric-wieser/rename-Pow
December 11, 2024 08:59 1m 5s
feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den lint and suggest #71894: Pull request #19842 synchronize by jhanschoo
December 11, 2024 08:31 1m 6s rat_add_den_dvd_lcm
rat_add_den_dvd_lcm
December 11, 2024 08:31 1m 6s
feat(Probability/Moments): add lemmas about moment generating functions lint and suggest #71893: Pull request #19886 opened by Vilin97
December 11, 2024 08:23 1m 3s vilin97-mgf
vilin97-mgf
December 11, 2024 08:23 1m 3s
feat(Mathlib.RingTheory.MvPowerSeries.Evaluation): evaluation of power series lint and suggest #71892: Pull request #15019 synchronize by AntoineChambert-Loir
December 11, 2024 08:16 1m 10s ACLMIdFF/MvPowerSeries_Evaluation
ACLMIdFF/MvPowerSeries_Evaluation
December 11, 2024 08:16 1m 10s
feat(MvPowerSeries/Substitution): substitution of power series inside power series lint and suggest #71891: Pull request #15158 synchronize by AntoineChambert-Loir
December 11, 2024 08:15 1m 6s ACLMIdFF/MvPowerSeries_Substitution
ACLMIdFF/MvPowerSeries_Substitution
December 11, 2024 08:15 1m 6s
feat(MvPowerSeries/Substitution): substitution of power series inside power series lint and suggest #71890: Pull request #15158 synchronize by AntoineChambert-Loir
December 11, 2024 08:11 1m 5s ACLMIdFF/MvPowerSeries_Substitution
ACLMIdFF/MvPowerSeries_Substitution
December 11, 2024 08:11 1m 5s
feat(Mathlib.RingTheory.MvPowerSeries.Evaluation): evaluation of power series lint and suggest #71889: Pull request #15019 synchronize by AntoineChambert-Loir
December 11, 2024 08:11 1m 23s ACLMIdFF/MvPowerSeries_Evaluation
ACLMIdFF/MvPowerSeries_Evaluation
December 11, 2024 08:11 1m 23s
[Merged by Bors] - chore: renaming all Column to Col lint and suggest #71888: Pull request #19825 synchronize by madvorak
December 11, 2024 07:59 1m 13s matrix-fromcols
matrix-fromcols
December 11, 2024 07:59 1m 13s
feat: generalize LinearMap.det_smul lint and suggest #71887: Pull request #19885 synchronize by eric-wieser
December 11, 2024 07:59 1m 23s eric-wieser/generalize-det_smul
eric-wieser/generalize-det_smul
December 11, 2024 07:59 1m 23s
feat: generalize LinearMap.det_smul lint and suggest #71886: Pull request #19885 opened by eric-wieser
December 11, 2024 07:52 1m 7s eric-wieser/generalize-det_smul
eric-wieser/generalize-det_smul
December 11, 2024 07:52 1m 7s
chore: rename DivInvMonoid.Pow lint and suggest #71885: Pull request #19884 synchronize by eric-wieser
December 11, 2024 07:35 1m 20s eric-wieser/rename-Pow
eric-wieser/rename-Pow
December 11, 2024 07:35 1m 20s
[Merged by Bors] - feat(Topology/ContinuousMap): "ContinuousMap.evalCLM" without compactness lint and suggest #71884: Pull request #19876 synchronize by eric-wieser
December 11, 2024 06:31 1m 19s DL_evalCLM
DL_evalCLM
December 11, 2024 06:31 1m 19s
chore: rename DivInvMonoid.Pow lint and suggest #71883: Pull request #19884 opened by eric-wieser
December 11, 2024 06:09 1m 5s eric-wieser/rename-Pow
eric-wieser/rename-Pow
December 11, 2024 06:09 1m 5s
feat(Rat): (q₁ + q₂).den ∣ q₁.den.lcm q₂.den lint and suggest #71881: Pull request #19842 synchronize by jhanschoo
December 11, 2024 05:54 1m 1s rat_add_den_dvd_lcm
rat_add_den_dvd_lcm
December 11, 2024 05:54 1m 1s
feat: Polynomial.coeffList lint and suggest #71880: Pull request #9085 synchronize by Timeroot
December 11, 2024 05:43 1m 18s coefflist
coefflist
December 11, 2024 05:43 1m 18s
feat(Algebra/Module/ZMod): ZMod-module structures on multiplicative groups lint and suggest #71879: Pull request #19882 synchronize by tb65536
December 11, 2024 05:35 1m 8s tb_zmodModule
tb_zmodModule
December 11, 2024 05:35 1m 8s
feat: Polynomial.coeffList lint and suggest #71878: Pull request #9085 synchronize by Timeroot
December 11, 2024 05:33 1m 5s coefflist
coefflist
December 11, 2024 05:33 1m 5s
feat(Algebra/Module/ZMod): ZMod-module structures on multiplicative groups lint and suggest #71877: Pull request #19882 opened by tb65536
December 11, 2024 05:19 1m 28s tb_zmodModule
tb_zmodModule
December 11, 2024 05:19 1m 28s
feat(FieldTheory/Finite/Basic): (1 + p * a) ^ (p ^ m) ≡ 1 [MOD p ^ m] lint and suggest #71876: Pull request #19881 opened by tb65536
December 11, 2024 05:10 1m 30s tb_pow_modEq_one
tb_pow_modEq_one
December 11, 2024 05:10 1m 30s
feat(GroupTheory/SpecificGroups/ZGroup): a finite Z-group has cyclic abelianization lint and suggest #71875: Pull request #19880 opened by tb65536
December 11, 2024 04:48 1m 5s tb_abelianization
tb_abelianization
December 11, 2024 04:48 1m 5s
[Merged by Bors] - chore(SetTheory/Ordinal/Arithmetic): move add_mul_limit lint and suggest #71874: Pull request #19805 synchronize by vihdzp
December 11, 2024 04:45 1m 17s vi.add_mul_move
vi.add_mul_move
December 11, 2024 04:45 1m 17s