Skip to content
SMACK CI

Merge remote-tracking branch 'origin/cvc5' into equiv #610

Sign in to view logs

Merge remote-tracking branch 'origin/cvc5' into equiv

Merge remote-tracking branch 'origin/cvc5' into equiv #610

Triggered via push September 12, 2024 23:27
@keram88keram88
pushed 0a86b67
equiv
Status Failure
Total duration 2m 8s
Artifacts –

smack-ci.yaml

on: push
Matrix: check-regressions
build-and-push-docker
0s
build-and-push-docker
Fit to window
Zoom out
Zoom in

Annotations

47 errors and 4 warnings
check-regressions (--exhaustive --folder=c/pthread_extras)
Process completed with exit code 1.
check-regressions (--exhaustive --folder=c/contracts)
Process completed with exit code 1.
check-regressions (--exhaustive --folder=rust/panic --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/recursion --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/basic)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/array --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/structures --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/targeted-checks)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/cargo/** --languages=cargo --threads=1)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=llvm --languages=llvm-ir)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/vector --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/ntdrivers-simplified)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/ntdrivers-simplified)
Process completed with exit code 1.
check-regressions (--exhaustive --folder=c/float)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/float)
The operation was canceled.
check-regressions (--exhaustive --folder=c/memory-safety)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/memory-safety)
The operation was canceled.
check-regressions (--exhaustive --folder=rust/generics --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/generics --languages=rust)
The operation was canceled.
check-regressions (--exhaustive --folder=c/simd)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/simd)
The operation was canceled.
check-regressions (--exhaustive --folder=rust/basic --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/basic --languages=rust)
The operation was canceled.
check-regressions (--exhaustive --folder=c/bits)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/bits)
The operation was canceled.
check-regressions (--exhaustive --folder=rust/functions --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/functions --languages=rust)
The operation was canceled.
check-regressions (--exhaustive --folder=c/special)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/special)
The operation was canceled.
check-regressions (--exhaustive --folder=c/data)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/data)
The operation was canceled.
check-regressions (--exhaustive --folder=c/ntdrivers)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/ntdrivers)
The operation was canceled.
check-regressions (--exhaustive --folder=c/locks)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/locks)
The operation was canceled.
check-regressions (--exhaustive --folder=c/unroll)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/unroll)
The operation was canceled.
check-regressions (--exhaustive --folder=c/strings)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/strings)
The operation was canceled.
check-regressions (--exhaustive --folder=rust/box --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/box --languages=rust)
The operation was canceled.
check-regressions (--exhaustive --folder=c/pthread)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/pthread)
The operation was canceled.
check-regressions (--exhaustive --folder=c/targeted-checks)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=c/targeted-checks)
The operation was canceled.
check-regressions (--exhaustive --folder=rust/loops --languages=rust)
The job was canceled because "_--exhaustive_--folder__8" failed.
check-regressions (--exhaustive --folder=rust/loops --languages=rust)
The operation was canceled.
check-regressions (--exhaustive --folder=c/pthread_extras)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-regressions (--exhaustive --folder=c/pthread_extras)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
check-regressions (--exhaustive --folder=c/contracts)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
check-regressions (--exhaustive --folder=c/contracts)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/