Adjust proof tooling to support CBMC v6 #992
kar-rahul-awsci.yml
on: pull_request
system-tests
1m 27s
unit-tests-with-sanitizer
1m 42s
unit-tests
1m 22s
complexity
9s
doxygen
21s
spell-check
1m 17s
formatting
17s
link-verifier
5m 17s
verify-manifest
10s
git-secrets
5s
memory_statistics
1m 12s
proof_ci
4m 9s
Annotations
4 errors
|
spell-check
Process completed with exit code 1.
|
|
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.
|
|
link-verifier
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
system_test_results
|
8.09 KB |
|
|
unit_test_results
|
19.2 KB |
|