Skip to content

Actions: leanprover-community/mathlib4

Actions

bot fix style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bot_fix_style.yaml
94,847 workflow runs
94,847 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bot fix style bot fix style #96790: created by erdOne
8s
8s
bot fix style bot fix style #96789: submitted by erdOne
11s
11s
bot fix style bot fix style #96788: created by erdOne
8s
8s
bot fix style bot fix style #96787: submitted by erdOne
10s
10s
bot fix style bot fix style #96786: created by erdOne
12s
12s
bot fix style bot fix style #96785: submitted by erdOne
9s
9s
chore(CauSeq): Add lim_sub lemma to CauSeq. bot fix style #96784: Issue comment #30395 (comment) created by mathlib-bors bot
10s
10s
bot fix style bot fix style #96783: created by ocfnash
11s
11s
bot fix style bot fix style #96782: submitted by ocfnash
11s
11s
bot fix style bot fix style #96781: submitted by fmortimore
10s
10s
bot fix style bot fix style #96780: created by fmortimore
12s
12s
refactor(Normed/Group/Quotient): generalise to non-abelian groups bot fix style #96779: Issue comment #21342 (comment) created by mathlib4-merge-conflict-bot
10s
10s
feat: group markings bot fix style #96778: Issue comment #19475 (comment) created by mathlib4-merge-conflict-bot
11s
11s
feat: add ContinuousSMul instances for ℚ≥0 bot fix style #96777: Issue comment #28474 (comment) created by mathlib-bors bot
11s
11s
bot fix style bot fix style #96776: created by ocfnash
8s
8s
bot fix style bot fix style #96775: created by ocfnash
8s
8s
bot fix style bot fix style #96774: created by ocfnash
10s
10s
bot fix style bot fix style #96773: submitted by ocfnash
9s
9s
bot fix style bot fix style #96772: created by JovanGerb
7s
7s
bot fix style bot fix style #96771: submitted by JovanGerb
12s
12s
chore(Data/Fin): deprecate Fin.mul_one', Fin.one_mul', Fin.mul_zero' and Fin.zero_mul' bot fix style #96770: Issue comment #28422 (comment) created by riccardobrasca
7s
7s
bot fix style bot fix style #96769: created by JovanGerb
10s
10s
bot fix style bot fix style #96768: submitted by JovanGerb
10s
10s
[Merged by Bors] - feat: better API for T1Space and DiscreteSpace on quotients by non-normal subgroups bot fix style #96767: Issue comment #30383 (comment) created by mathlib-bors bot
10s
10s
feat(Topology/KrullDimension): add subspace dimension inequality bot fix style #96766: Issue comment #29728 (comment) created by erdOne
11s
11s