ci: docs #12
zshipkoAnnotations
1 error and 2 warnings
|
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.
|