Skip to content

Push on gh-pages

Push on gh-pages #1757

Triggered via dynamic October 14, 2026 09:52
Status Failure
Total duration 3m 34s
Artifacts –

codeql

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

Annotations

3 errors and 4 notices
Analyze (c-cpp)
Encountered a fatal error while running "/home/runner/work/_temp/c40ae5eb-bd13-4064-92e8-77c444454e7b/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: [/home/runner/work/_temp/c40ae5eb-bd13-4064-92e8-77c444454e7b/codeql/cpp/tools/autobuild.sh]. See the logs for more details.
Analyze (actions)
Encountered a fatal error while running "/home/runner/work/_temp/bddc1996-3fc2-4c28-984a-c907276628f3/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14575 /home/runner/work/_temp/codeql_databases/actions". Exit code was 32 and last log line was: ERROR: CodeQL detected code written in JavaScript/TypeScript, 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 "/home/runner/work/_temp/8e67d8c8-655a-47ea-be8e-337148912ddb/codeql/codeql database finalize --finalize-dataset --threads=4 --ram=14574 /home/runner/work/_temp/codeql_databases/python". Exit code was 32 and last log line was: ERROR: CodeQL did not detect any code written in languages supported by this CodeQL distribution (YAML 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.
Analyze (c-cpp)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Analyze (actions)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Analyze (python)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Analyze (rust)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"