Add artifact backup action #942
ci.yml
on: pull_request
unittest
1m 27s
complexity
1m 8s
doxygen
20s
spell-check
1m 18s
formatting
0s
ssot-check
4s
git-secrets
7s
memory_statistics
32s
link-verifier
5m 58s
verify-manifest
9s
proof_ci
4m 24s
Annotations
3 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
|
|
ssot-check
Process completed with exit code 1.
|
|
unittest
Process completed with exit code 123.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreHTTP_2025_07_03_19_39_58
Expired
|
14.3 MB |
sha256:e8e20a846004e05407a09c89e2d40a009e9ac51c099c21695e66e284386e45bf
|
|