Autolabel PRs · Workflow runs · mkaratarakis/mathlibtest · GitHub

Actions

All workflows
Workflows
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- 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
- Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- Bench output summary Bench output summary
- bot fix style bot fix style
- Check PR titles Check PR titles
- Check workflows Check workflows
- Close stale issues and PRs Close stale issues and PRs
Management
- Caches

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

3 workflow runs

3 workflow runs

chore: remove use of erw in Geometry.RingedSpace.OpenImmersion (#… Autolabel PRs #4: Commit 3830f92 pushed by mkaratarakis

1s master

master

1s

Merge branch 'leanprover-community:master' into hgs Autolabel PRs #3: Commit b350cfc pushed by mkaratarakis

2s hgs

hgs

2s

chore(Topology/Algebra/Affine): generalize eventually_homothety_* t… Autolabel PRs #2: Commit 47146f0 pushed by mkaratarakis

1s master

master

1s