Bench output summary · Workflow runs · xroblot/mathlib4 · GitHub

Actions

All workflows
Workflows
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Autolabel PRs Autolabel PRs
- Bench output summary Bench output summary
- bot fix style bot fix style
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
- Close stale issues and PRs Close stale issues and PRs
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
Management
- Caches

Bench output summary

Actions

Loading...
Loading

bench_summary_comment.yml

5 workflow runs

5 workflow runs

generalize to Monoid+MulAction Bench output summary #5: Issue comment #1 (comment) created by alreadydone

1s

1s

generalize to Monoid+MulAction Bench output summary #4: Issue comment #1 (comment) created by Vierkantor

1s

1s

generalize to Monoid+MulAction Bench output summary #3: Issue comment #1 (comment) created by xroblot

2s

2s

generalize to Monoid+MulAction Bench output summary #2: Issue comment #1 (comment) created by Vierkantor

1s

1s

generalize to Monoid+MulAction Bench output summary #1: Issue comment #1 (comment) created by xroblot

Skipped

Skipped