Skip to content
CI Checks

Bump CBMC version to 5.95.1 #974

Sign in to view logs

Bump CBMC version to 5.95.1

Bump CBMC version to 5.95.1 #974

Re-run triggered June 7, 2024 10:33
@shubnilshubnil
#197
tautschnig:cbmc-5.95.1
Status Cancelled
Total duration 3m 59s
Billable time 4m
Artifacts 2

ci.yml

on: pull_request
system-tests
1m 16s
system-tests
unit-tests-with-sanitizer
1m 38s
unit-tests-with-sanitizer
unit-tests
1m 32s
unit-tests
complexity
8s
complexity
doxygen
13s
doxygen
spell-check
52s
spell-check
formatting
10s
formatting
link-verifier
54s
link-verifier
verify-manifest
8s
verify-manifest
git-secrets
4s
git-secrets
memory_statistics
1m 11s
memory_statistics
proof_ci
3m 44s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
proof_ci
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
proof_ci
The operation was canceled.

Artifacts

Produced during runtime
Name Size
system_test_results Expired
8.09 KB
unit_test_results Expired
19.2 KB