Skip to content

Actions: grunweg/mathlib4

Actions

Bench output summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bench_summary_comment.yml
8 workflow runs
8 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 Bench output summary #8: Issue comment #5 (comment) created by grunweg
2s
2s
Address TODOs Bench output summary #7: Issue comment #4 (comment) created by grunweg
1s
1s
Finish migration of LocalFrame.lean, address some TODOs Bench output summary #6: Issue comment #5 (comment) created by michaellee94
1s
1s
Proved aux_computation2 Bench output summary #5: Issue comment #2 (comment) created by grunweg
1s
1s
review: suggested changes for #27021 Bench output summary #4: Issue comment #1 (comment) created by grunweg
1s
1s
review: suggested changes for #27021 Bench output summary #3: Issue comment #1 (comment) created by grunweg
Skipped
Skipped
review: suggested changes for #27021 Bench output summary #2: Issue comment #1 (comment) created by grunweg
1s
1s
review: suggested changes for #27021 Bench output summary #1: Issue comment #1 (comment) created by grunweg
9s
9s