Skip to content

Enable Clang sanitizers in Linux/Clang CI pipeline #27

Enable Clang sanitizers in Linux/Clang CI pipeline

Enable Clang sanitizers in Linux/Clang CI pipeline #27

Triggered via pull request March 13, 2026 13:04
Status Failure
Total duration 23m 25s
Artifacts

clang-sanitizer.yaml

on: pull_request
unit-tests
0s
unit-tests
cbmc-regression
0s
cbmc-regression
cbmc-special-regression
0s
cbmc-special-regression
jbmc-regression
0s
jbmc-regression
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build-asan
Process completed with exit code 1.
build-asan
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/cache@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-asan
Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.