Skip to content
Report PR testing status to the lean4 repository

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

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

Triggered via push August 16, 2025 15:22
@leanprover-botleanprover-bot
pushed 05ba59d
lean-pr-testing-9929
Status Success
Total duration 5m 54s
Artifacts –

pr-testing.yml

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