Add support for optional job document fields #434
ci.yml
on: pull_request
unittest
1m 7s
complexity
13s
doxygen
22s
spell-check
1m 21s
formatting
11s
git-secrets
4s
memory_statistics
30s
link-verifier
7m 41s
verify-manifest
5s
proof_ci
1m 37s
Annotations
1 error
link-verifier
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_Jobs-for-AWS-IoT-embedded-sdk_2025_02_11_19_20_31
|
975 Bytes |
|