Skip to content
Report PR testing status to the lean4 repository

Update lean-toolchain for https://github.com/leanprover/lean4/pull/10713 #127

Sign in to view logs

Update lean-toolchain for https://github.com/leanprover/lean4/pull/10713

Update lean-toolchain for https://github.com/leanprover/lean4/pull/10713 #127

Triggered via push October 9, 2025 07:06
@leanprover-botleanprover-bot
pushed d4a81aa
lean-pr-testing-10713
Status Failure
Total duration 1m 53s
Artifacts –

pr-testing.yml

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

Annotations

1 error and 1 warning
Build site and generate HTML
Process completed with exit code 1.
Build site and generate HTML
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists