Run pre-commit and in-place update PR on push

Actions

All workflows
Workflows
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
- .github/workflows/build_template.yml .github/workflows/build_template.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 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
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- Check PR titles Check PR titles
- Check workflows Check workflows
Management
- Caches

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

3,473 workflow runs

nice, most workarounds not needed with univ_out_params Run pre-commit and in-place update PR on push #3486: Commit 32ff989 pushed by kim-em

24s lean-pr-testing-12286

lean-pr-testing-12286

24s

Merge master into nightly-testing Run pre-commit and in-place update PR on push #3485: Commit 2535e4c pushed by mathlib-nightly-testing bot

25s nightly-testing

nightly-testing

25s

Merge branch 'lean-pr-testing-11744' of github.com:leanprover-communi… Run pre-commit and in-place update PR on push #3484: Commit 7523c34 pushed by kim-em

23s lean-pr-testing-11744

lean-pr-testing-11744

23s

fix test Run pre-commit and in-place update PR on push #3483: Commit 88d55d6 pushed by kim-em

24s lean-pr-testing-11744

lean-pr-testing-11744

24s

Merge remote-tracking branch 'upstream/master' into batteries-pr-test… Run pre-commit and in-place update PR on push #3482: Commit 2393891 pushed by fgdorais

27s batteries-pr-testing-1589

batteries-pr-testing-1589

27s

chore: update batteries after merge Run pre-commit and in-place update PR on push #3481: Commit 64b862d pushed by fgdorais

32s batteries-pr-testing-1589

batteries-pr-testing-1589

32s

link https://github.com/leanprover-community/batteries/pull/1668 Run pre-commit and in-place update PR on push #3480: Commit 1e0bf00 pushed by thorimur

28s batteries-pr-testing-1668

batteries-pr-testing-1668

28s

chore: update rev Run pre-commit and in-place update PR on push #3479: Commit d4a2501 pushed by thorimur

23s batteries-pr-testing-1668

batteries-pr-testing-1668

23s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12452 Run pre-commit and in-place update PR on push #3478: Commit b06ab5e pushed by mathlib-nightly-testing bot

25s lean-pr-testing-12452

lean-pr-testing-12452

25s

Update lean-toolchain for testing https://github.com/leanprover/lean4… Run pre-commit and in-place update PR on push #3477: Commit 6f29faa pushed by mathlib-nightly-testing bot

23s lean-pr-testing-12468

lean-pr-testing-12468

23s

Update Batteries branch for testing https://github.com/leanprover-com… Run pre-commit and in-place update PR on push #3476: Commit 5357861 pushed by mathlib-nightly-testing bot

31s batteries-pr-testing-1669

batteries-pr-testing-1669

31s

Merge remote-tracking branch 'upstream/master' into bump/v4.29.0 Run pre-commit and in-place update PR on push #3475: Commit 7a27a3a pushed by mathlib-nightly-testing bot

28s bump/v4.29.0

bump/v4.29.0

28s

chore: bump to nightly-2026-02-13-rev2 Run pre-commit and in-place update PR on push #3474: Commit 8889baa pushed by mathlib-nightly-testing bot

24s nightly-testing-daily

nightly-testing-daily

24s

chore: bump to nightly-2026-02-13-rev2 Run pre-commit and in-place update PR on push #3473: Commit 8889baa pushed by mathlib-nightly-testing bot

27s nightly-testing-green

nightly-testing-green

27s

chore: bump to nightly-2026-02-13-rev2 Run pre-commit and in-place update PR on push #3472: Commit 8889baa pushed by mathlib-nightly-testing bot

22s nightly-testing

nightly-testing

22s

chore: bump to nightly-2026-02-13-rev1 Run pre-commit and in-place update PR on push #3471: Commit bd8f964 pushed by mathlib-nightly-testing bot

23s nightly-testing

nightly-testing

23s

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12286 Run pre-commit and in-place update PR on push #3470: Commit 139e385 pushed by mathlib-nightly-testing bot

27s lean-pr-testing-12286

lean-pr-testing-12286

27s

fix indentation Run pre-commit and in-place update PR on push #3469: Commit 7f5579b pushed by mathlib-nightly-testing bot

25s nightly-testing-green

nightly-testing-green

25s

fix indentation Run pre-commit and in-place update PR on push #3468: Commit 7f5579b pushed by Ruben-VandeVelde

24s nightly-testing

nightly-testing

24s

Auto-resolved conflicts in lean-toolchain and lake-manifest.json Run pre-commit and in-place update PR on push #3467: Commit c3e58b4 pushed by mathlib-nightly-testing bot

28s bump/v4.29.0

bump/v4.29.0

28s

lake update Run pre-commit and in-place update PR on push #3466: Commit 820ed60 pushed by mathlib-nightly-testing bot

23s nightly-testing-daily

nightly-testing-daily

23s

lake update Run pre-commit and in-place update PR on push #3465: Commit 820ed60 pushed by mathlib-nightly-testing bot

26s nightly-testing-green

nightly-testing-green

26s

fix for leanprover/lean4#11744 Run pre-commit and in-place update PR on push #3464: Commit d7bf79b pushed by kim-em

28s lean-pr-testing-11744

lean-pr-testing-11744

28s

lake update Run pre-commit and in-place update PR on push #3463: Commit 820ed60 pushed by kim-em

27s nightly-testing

nightly-testing

27s

Merge remote-tracking branch 'nightly-testing/bump/nightly-2026-02-10… Run pre-commit and in-place update PR on push #3462: Commit 7006a01 pushed by kim-em

30s nightly-testing

nightly-testing

30s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management