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

Merge branch 'lean-pr-testing-11744' of github.com:leanprover-communi… #3484

Sign in to view logs

Triggered via push February 13, 2026 22:37

kim-em

lean-pr-testing-11744

Status Success

Total duration 23s

Artifacts –

pre-commit.yml

on: push