Add artifact backup action (#51) #151
ci.yml
on: push
unittest
1m 27s
build-with-default-config
7s
complexity
59s
doxygen
1m 8s
spell-check
2m 9s
formatting
1s
git-secrets
7s
memory_statistics
24s
link-verifier
2m 1s
verify-manifest
5s
proof_ci
1m 24s
Annotations
2 errors
formatting
This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner will be removed on 2025-04-15. For more details, see https://github.com/actions/runner-images/issues/11101
|
unittest
Process completed with exit code 123.
|
Artifacts
Produced during runtime
Name | Size | Digest | |
---|---|---|---|
cbmc_proof_results_Fleet-Provisioning-for-AWS-IoT-embedded-sdk_2025_07_11_05_45_01
Expired
|
646 KB |
sha256:372fac69139b9d57d3d24a29e6e6237d14911857b9dd7960aeb68d1f17ef53cb
|
|