Bench output summary · Workflow runs · wwylele/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

1 workflow run

1 workflow run

routine golfs + docstring edits Bench output summary #1: Issue comment #1 (comment) created by wwylele

1s

1s