Autolabel PRs · Workflow runs · kim-em/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/maintainer_bors.yml .github/workflows/maintainer_bors.yml
- .github/workflows/maintainer_merge.yml .github/workflows/maintainer_merge.yml
- .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 (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run)
- Autolabel PRs Autolabel PRs
- automatically assign reviewers automatically assign reviewers
- bot fix style bot fix style
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
Management
- Caches

Autolabel PRs

Actions

Loading...
Loading

add_label_from_diff.yaml

112 workflow runs

112 workflow runs

merge master Autolabel PRs #12: Commit 6860872 pushed by kim-em

1s grind_disjoint

grind_disjoint

1s

test: reproduce deprecations 2025 09 03 Autolabel PRs #11: Pull request #3 opened by adomani

1s

1s

Merge branch 'master' into codex/add-inline-comment-for-heartbeat-count Autolabel PRs #10: Commit 8b17287 pushed by kim-em

1s codex/add-inline-comment-for-heartbeat-count

codex/add-inline-comment-for-heartbeat-count

1s

Merge remote-tracking branch 'upstream/master' into codex/add-linter-… Autolabel PRs #9: Commit b312149 pushed by kim-em

2s codex/add-linter-for-deprecated-attributes

codex/add-linter-for-deprecated-attributes

2s

Clarify internal heartbeat conversion Autolabel PRs #8: Pull request #2 opened by kim-em

1s

1s

feat: linter for stale deprecated attrs Autolabel PRs #7: Pull request #1 opened by kim-em

1s

1s

merge master Autolabel PRs #6: Commit a84fbd3 pushed by kim-em

1s rm_nat_shortcuts

rm_nat_shortcuts

1s

Merge branch 'master' into grind_cat2 Autolabel PRs #5: Commit 9240c30 pushed by kim-em

1s grind_cat2

grind_cat2

1s

merge master Autolabel PRs #4: Commit 81a9226 pushed by kim-em

1s grind_finset_prod

grind_finset_prod

1s

merge Autolabel PRs #3: Commit 9b4cb09 pushed by kim-em

10s grind_cat

grind_cat

10s

merge master Autolabel PRs #2: Commit 002ea4d pushed by kim-em

Skipped windows-compatibility

windows-compatibility

Skipped

chore: adaptations for nightly-2025-06-11 Autolabel PRs #1: Commit 9b82384 pushed by kim-em

1s bump/nightly-2025-06-11

bump/nightly-2025-06-11

1s