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

Update lean-toolchain for testing https://github.com/leanprover/lean4… #3477

Sign in to view logs

Update lean-toolchain for testing https://github.com/leanprover/lean4…

Update lean-toolchain for testing https://github.com/leanprover/lean4… #3477

Triggered via push February 13, 2026 16:25
@mathlib-nightly-testingmathlib-nightly-testing[bot]
pushed 6f29faa
lean-pr-testing-12468
Status Success
Total duration 23s
Artifacts –

pre-commit.yml

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