ci: build docs #4
zshipkoAnnotations
5 errors and 2 warnings
|
deploy-doc
Get Pages site failed. Please verify that the repository has Pages enabled and configured to build using GitHub Actions, or consider exploring the `enablement` parameter for this action.
|
|
deploy-doc
HttpError: Not Found
|
|
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
|
|
deploy-doc
Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.
|