Autolabel PRs · Workflow runs · Ruben-VandeVelde/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
- 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
- continuous integration (mathlib forks) continuous integration (mathlib forks)
Management
- Caches

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

6 workflow runs

6 workflow runs

Merge remote-tracking branch 'origin/master' into norm_num-int-fract Autolabel PRs #6: Commit 6724589 pushed by Ruben-VandeVelde

1s norm_num-int-fract

norm_num-int-fract

1s

Attribution Autolabel PRs #5: Commit d04c0b3 pushed by Ruben-VandeVelde

1s ArithmeticFunction.IsMultiplicative.prod_primeFactors

ArithmeticFunction.IsMultiplicative.prod_primeFactors

1s

blah Autolabel PRs #4: Commit 6844873 pushed by Ruben-VandeVelde

2s ramsey_hypergraph

ramsey_hypergraph

2s

fix: typo in labels_from_comment.yml (#25727) Autolabel PRs #3: Commit 8b2141b pushed by Ruben-VandeVelde

Skipped master

master

Skipped

feat: HasFPowerSeriesAt.eventually_differentiableAt Autolabel PRs #2: Commit a45593a pushed by Ruben-VandeVelde

1s HasFPowerSeriesAt.eventually_differentiableAt

HasFPowerSeriesAt.eventually_differentiableAt

1s

more Autolabel PRs #1: Commit 999ffb3 pushed by Ruben-VandeVelde

3s polynomial-ufd-2

polynomial-ufd-2

3s