Skip to content

Actions: grunweg/mathlib4

Actions

bot fix style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bot_fix_style.yaml
9 workflow runs
9 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Finish migration of LocalFrame.lean, address some TODOs bot fix style #19: Issue comment #5 (comment) created by grunweg
7s
7s
Address TODOs bot fix style #18: Issue comment #4 (comment) created by grunweg
8s
8s
Finish migration of LocalFrame.lean, address some TODOs bot fix style #17: Issue comment #5 (comment) created by michaellee94
10s
10s
Proved aux_computation2 bot fix style #6: Issue comment #2 (comment) created by grunweg
15s
15s
review: suggested changes for #27021 bot fix style #5: Issue comment #1 (comment) created by grunweg
7s
7s
review: suggested changes for #27021 bot fix style #4: Issue comment #1 (comment) created by grunweg
9s
9s
review: suggested changes for #27021 bot fix style #3: Issue comment #1 (comment) created by grunweg
10s
10s
review: suggested changes for #27021 bot fix style #2: Issue comment #1 (comment) edited by grunweg
12s
12s
review: suggested changes for #27021 bot fix style #1: Issue comment #1 (comment) created by grunweg
10s
10s