Fix Unit Test Instructions In Readme #2768
paulbartellci.yml
on: pull_request
compiler-warnings
15s
complexity
9s
unittest
25s
coverage
27s
doxygen
16s
spell-check
1m 57s
formatting
11s
git-secrets
6s
memory_statistics
39s
link-verifier
55s
verify-manifest
16s
proof_ci
5m 33s
Annotations
1 error
|
proof_ci
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_12_14_20_06_08
Expired
|
104 MB |
|
|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_12_14_21_23_38
Expired
|
104 MB |
|