Explicitly set pointer to NULL #2755
kstribrnAmznci.yml
on: pull_request
compiler-warnings
19s
complexity
9s
unittest
30s
coverage
42s
doxygen
23s
spell-check
46s
formatting
13s
git-secrets
6s
memory_statistics
49s
link-verifier
1m 19s
verify-manifest
22s
proof_ci
5m 40s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_09_14_17_01_19
Expired
|
107 MB |
|