Unable to resolve action leanprover-community/setup-lean@v4, action not found

The strategy configuration was canceled because "test.ubuntu-22_04_v4_8_0" failed

Unable to resolve action leanprover-community/setup-lean@v4, action not found

The operation was canceled.

The strategy configuration was canceled because "test.ubuntu-22_04_v4_8_0" failed

Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.22.1/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14581 /home/runner/work/_temp/codeql_databases/cpp". Exit code was 32 and last log line was: CodeQL did not detect any code written in languages supported by this CodeQL distribution (Ruby, C#, JavaScript/TypeScript, YAML, CSV, Java Properties Files, Go, Swift, HTML, GitHub Actions, XML, Rust, C/C++, Java/Kotlin or Python). Confirm that there is some source code for one of these languages in the project. For more information, review our troubleshooting guide at https://gh.io/troubleshooting-code-scanning/no-source-code-seen-during-build . See the logs for more details.

Resource not accessible by integration - https://docs.github.com/rest

Resource not accessible by integration - https://docs.github.com/rest

Resource not accessible by integration - https://docs.github.com/rest

Resource not accessible by integration - https://docs.github.com/rest

Resource not accessible by integration - https://docs.github.com/rest

Feature flags do not specify a default CLI version. Falling back to the CLI version shipped with the Action. This is 2.22.1.

This run of the CodeQL Action does not have permission to access Code Scanning API endpoints. As a result, it will not be opted into any experimental features. This could be because the Action is running on a pull request from a fork. If not, please ensure the Action has the 'security-events: write' permission. Details: Resource not accessible by integration - https://docs.github.com/rest