Skip to content
Report PR testing status to the lean4 repository

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

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

Triggered via push October 9, 2025 17:04
@leanprover-botleanprover-bot
pushed b4edca0
lean-pr-testing-10726
Status Success
Total duration 6m 17s
Artifacts –

pr-testing.yml

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

Annotations

1 warning
Build site and generate HTML
Cache save failed.