Skip to content
Report PR testing status to the lean4 repository

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

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

Triggered via push July 1, 2025 10:10
@leanprover-botleanprover-bot
pushed deba041
lean-pr-testing-9017
Status Failure
Total duration 17m 22s
Artifacts –

pr-testing.yml

on: push
Build site and generate HTML
17m 12s
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.