Update print log fmt #527
chinglee-iotci.yml
on: pull_request
unittest
35s
complexity
12s
doxygen
9m 27s
spell-check
49s
formatting
18s
git-secrets
4s
memory_statistics
41s
link-verifier
2m 36s
verify-manifest
9s
proof_ci
13m 42s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2023_10_12_08_36_02
Expired
|
66.6 MB |
|