Add "ready-to-merge" and "delegated" label · 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

Add "ready-to-merge" and "delegated" label

Actions

Loading...
Loading

maintainer_bors.yml

5 workflow runs

5 workflow runs

generalize to Monoid+MulAction Add "ready-to-merge" and "delegated" label #18: Issue comment #1 (comment) created by alreadydone

1s

1s

generalize to Monoid+MulAction Add "ready-to-merge" and "delegated" label #17: Issue comment #1 (comment) created by Vierkantor

1s

1s

generalize to Monoid+MulAction Add "ready-to-merge" and "delegated" label #16: Issue comment #1 (comment) created by xroblot

2s

2s

generalize to Monoid+MulAction Add "ready-to-merge" and "delegated" label #15: Issue comment #1 (comment) created by Vierkantor

1s

1s

generalize to Monoid+MulAction Add "ready-to-merge" and "delegated" label #14: Issue comment #1 (comment) created by xroblot

1s

1s