bot fix style · 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

bot fix style

Actions

Loading...
Loading

bot_fix_style.yaml

6 workflow runs

6 workflow runs

generalize to Monoid+MulAction bot fix style #19: Issue comment #1 (comment) edited by alreadydone

13s

13s

generalize to Monoid+MulAction bot fix style #18: Issue comment #1 (comment) created by alreadydone

13s

13s

generalize to Monoid+MulAction bot fix style #17: Issue comment #1 (comment) created by Vierkantor

13s

13s

generalize to Monoid+MulAction bot fix style #16: Issue comment #1 (comment) created by xroblot

12s

12s

generalize to Monoid+MulAction bot fix style #15: Issue comment #1 (comment) created by Vierkantor

11s

11s

generalize to Monoid+MulAction bot fix style #14: Issue comment #1 (comment) created by xroblot

8s

8s