Enable Clang sanitizers in Linux/Clang CI pipeline #19
Triggered via pull request
December 3, 2025 14:22
tautschnig
Status
Failure
Total duration
1h 39m 35s
Artifacts
–
clang-sanitizer.yaml
on: pull_request
clang-asan-ubuntu-24_04-make
1h 38m
Annotations
4 errors and 1 warning
|
clang-asan-ubuntu-24_04-make
Process completed with exit code 2.
|
|
clang-asan-ubuntu-24_04-make
clone of 'https://github.com/diffblue/java-models-library.git' into submodule path '/home/runner/work/cbmc/cbmc/jbmc/lib/java-models-library' failed
|
|
clang-asan-ubuntu-24_04-make
the remote end hung up unexpectedly
|
|
clang-asan-ubuntu-24_04-make
could not read Username for 'https://github.com': terminal prompts disabled
|
|
clang-asan-ubuntu-24_04-make
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.
|