Skip to content
Triggered via push January 23, 2024 05:38
Status Success
Total duration 2m 23s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 1 warning
deploy-doc
(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)
deploy-doc
tactic 'simp' failed, nested error:
deploy-doc
(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)
deploy-doc
Restore cache failed: Dependencies file is not found in /home/runner/work/lean4-sdk/lean4-sdk. Supported file pattern: go.sum

Artifacts

Produced during runtime
Name Size
github-pages Expired
55.5 MB