ci #8
zshipkodocs.yml
on: push
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 |
|