Skip to content
CI

CI #4

Sign in to view logs

CI

CI #4

Re-run triggered January 22, 2024 21:40
@zshipkozshipko
⁠ 5f7d1df
main
Status Success
Total duration 2m 9s
Artifacts –

ci.yml

on: workflow_dispatch
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Linux
Restore cache failed: Dependencies file is not found in /home/runner/work/lean4-sdk/lean4-sdk. Supported file pattern: go.sum
macOS
Restore cache failed: Dependencies file is not found in /Users/runner/work/lean4-sdk/lean4-sdk. Supported file pattern: go.sum