CI #3
zshipkoAnnotations
2 errors and 2 warnings
|
Linux
Process completed with exit code 1.
|
|
macOS
The operation was canceled.
|
|
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
|