Skip to content

Push on gh-pages

Push on gh-pages #581

Triggered via dynamic November 8, 2025 13:34
Status Failure
Total duration 3m 5s
Artifacts

codeql

on: dynamic
Matrix: analyze
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Analyze (actions)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.23.3/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14580 /home/runner/work/_temp/codeql_databases/actions". Exit code was 32 and last log line was: CodeQL detected code written in JavaScript/TypeScript and Rust, but not any written in GitHub Actions. Confirm that there is some source code for GitHub Actions 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.23.3/x64/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14581 /home/runner/work/_temp/codeql_databases/python". Exit code was 32 and last log line was: CodeQL detected code written in JavaScript/TypeScript and Rust, but not any written in Python. Confirm that there is some source code for Python 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)
Encountered a fatal error while running "/opt/hostedtoolcache/CodeQL/2.23.3/x64/codeql/codeql database trace-command --use-build-mode --working-dir /home/runner/work/kani/kani /home/runner/work/_temp/codeql_databases/cpp". Exit code was 2 and error was: A fatal error occurred: Exit status 1 from command: [/opt/hostedtoolcache/CodeQL/2.23.3/x64/codeql/cpp/tools/autobuild.sh]. See the logs for more details.