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

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11511 #2138

Sign in to view logs

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

Update lean-toolchain for https://github.com/leanprover/lean4/pull/11511 #2138

Triggered via push December 5, 2025 08:18
@ghostghost
pushed 9d1adc5
lean-pr-testing-11511
Status Success
Total duration 25s
Artifacts –

pre-commit.yml

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