Skip to content
Run pre-commit and in-place update PR on push

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12452 #3478

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12452

Update lean-toolchain for https://github.com/leanprover/lean4/pull/12452 #3478

Triggered via push February 13, 2026 17:28
@mathlib-nightly-testingmathlib-nightly-testing[bot]
pushed b06ab5e
lean-pr-testing-12452
Status Success
Total duration 25s
Artifacts –

pre-commit.yml

on: push
main
21s
main
Fit to window
Zoom out
Zoom in