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

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-go@v4, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

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