Skip to content
Report PR testing status to the lean4 repository

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

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… #131

Triggered via push October 10, 2025 02:04
@leanprover-botleanprover-bot
pushed 571c595
lean-pr-testing-10730
Status Failure
Total duration 5m 36s
Artifacts –

pr-testing.yml

on: push
Build site and generate HTML
5m 27s
Build site and generate HTML
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build site and generate HTML
Process completed with exit code 1.