Autolabel PRs · Workflow runs · JOSHCLUNE/mathlib4 · 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 workflows Check workflows
- Close stale issues and PRs Close stale issues and PRs
- continuous integration continuous integration
Management
- Caches

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

4 workflow runs

4 workflow runs

Update to v4.25.0 Autolabel PRs #4: Commit 396f2f6 pushed by JOSHCLUNE

1s hammer

hammer

1s

doc(RingTheory): tidy backticks (#31753) Autolabel PRs #3: Commit 79c8606 pushed by JOSHCLUNE

1s master

master

1s

chore(LinearAlgebra/Dual/Defs): generalize Module.Dual to use `Semi… Autolabel PRs #2: Commit 023a18d pushed by JOSHCLUNE

3s cache_hammer

cache_hammer

3s

feat(Algebra/BigOperators/Finsupp/Basic): add Finsupp.sum_eq_one_iff … Autolabel PRs #1: Commit 94d4b32 pushed by JOSHCLUNE

2s master

master

2s