Skip to content

cbmc: add set-1.c verification #332

cbmc: add set-1.c verification

cbmc: add set-1.c verification #332

Triggered via push February 21, 2024 06:57
Status Failure
Total duration 3m 38s
Artifacts
Matrix: Analyze
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 2 warnings
Analyze (cpp)
This version of the CodeQL Action was deprecated on January 18th, 2023, and is no longer updated or supported. For better performance, improved security, and new features, upgrade to v2. For more information, see https://github.blog/changelog/2023-01-18-code-scanning-codeql-action-v1-is-now-deprecated/
Analyze (cpp)
We were unable to automatically build your code. Please replace the call to the autobuild action with your custom build steps. Failure invoking /opt/hostedtoolcache/CodeQL/2.16.1/x64/codeql/cpp/tools/autobuild.sh with arguments . Exit code 1 and error was: cpp/autobuilder: Using build system found in '.' cpp/autobuilder: trying to run make [current dir: /home/runner/work/ctl/ctl] cpp/autobuilder: No supported build command succeeded.
Analyze (cpp)
This version of the CodeQL Action was deprecated on January 18th, 2023, and is no longer updated or supported. For better performance, improved security, and new features, upgrade to v2. For more information, see https://github.blog/changelog/2023-01-18-code-scanning-codeql-action-v1-is-now-deprecated/
Analyze (cpp)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, github/codeql-action/init@v1, github/codeql-action/autobuild@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Analyze (cpp)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, github/codeql-action/init@v1, github/codeql-action/autobuild@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/