ci: build docs #2
zshipkoAnnotations
4 errors and 2 warnings
|
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
Process completed with exit code 1.
|
|
deploy-doc
Restore cache failed: Dependencies file is not found in /home/runner/work/lean4-sdk/lean4-sdk. Supported file pattern: go.sum
|
|
deploy-doc
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.
|