Skip to content

Update anishathalye/proof-html action to v2 #59

Update anishathalye/proof-html action to v2

Update anishathalye/proof-html action to v2 #59

Re-run triggered November 21, 2024 09:58
Status Failure
Total duration 2m 29s
Artifacts

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 7 warnings
Analyze (java')
Did not recognize the following languages: java'
Analyze ( go)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.19.3/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14567 /home/runner/work/_temp/codeql_databases/go". Exit code was 32 and last log line was: CodeQL did not detect any code written in languages supported by this CodeQL distribution (CSV, YAML, HTML, Ruby, Python, Go, Java/Kotlin, C#, JavaScript/TypeScript, C/C++, Java Properties Files, XML or Swift). 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.
Analyze (ruby)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.19.3/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14567 /home/runner/work/_temp/codeql_databases/ruby". Exit code was 32 and last log line was: CodeQL did not detect any code written in languages supported by this CodeQL distribution (CSV, YAML, HTML, Ruby, Python, Go, Java/Kotlin, C#, JavaScript/TypeScript, C/C++, Java Properties Files, XML or Swift). 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.
Analyze (python)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.19.3/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14567 /home/runner/work/_temp/codeql_databases/python". Exit code was 32 and last log line was: CodeQL did not detect any code written in languages supported by this CodeQL distribution (CSV, YAML, HTML, Ruby, Python, Go, Java/Kotlin, C#, JavaScript/TypeScript, C/C++, Java Properties Files, XML or Swift). 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.
Analyze (c-cpp)
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.19.3/x64/codeql/cpp/tools/autobuild.sh". Exit code was 1 and last log line was: cpp/autobuilder: autobuild summary. See the logs for more details.
Analyze (csharp)
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.19.3/x64/codeql/csharp/tools/autobuild.sh". Exit code was 1 and last log line was: Error: Could not auto-detect a suitable build method. See the logs for more details.
Analyze (swift)
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Encountered a fatal error while running "/Users/runner/hostedtoolcache/CodeQL/2.19.3/arm64/codeql/swift/tools/autobuild.sh". Exit code was 1 and last log line was: 2024-11-21 10:00:18.844987000 ERRO [autobuilder/main] [no-project-found] `autobuild` detected neither an Xcode project or workspace, nor a Swift package (swift-autobuilder.cpp:82). See the logs for more details.
Analyze (java')
Debugging artifacts are unavailable since the 'init' Action failed before it could produce any.
Analyze ( go)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled
Analyze (ruby)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled
Analyze (python)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled
Analyze (c-cpp)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled
Analyze (csharp)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled
Analyze (swift)
Failed to upload a SARIF file for the unsuccessful execution. Code scanning status information for the repository may be out of date as a result. Processing errors: CodeQL analyses from advanced configurations cannot be processed when the default setup is enabled