Skip to content
Report PR testing status to the lean4 repository

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

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

Triggered via push August 19, 2025 14:28
@leanprover-botleanprover-bot
pushed 1a4e0ea
lean-pr-testing-9987
Status Success
Total duration 8m 3s
Artifacts –

pr-testing.yml

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

Annotations

1 warning
Build site and generate HTML
Cache save failed.