Add artifact backup action #791
AniruddhaKanhereci.yml
on: pull_request
unittest
29s
complexity
15s
doxygen
19s
spell-check
2m 31s
formatting
0s
git-secrets
5s
custom-standard-c-headers
16s
memory_statistics
36s
link-verifier
1m 6s
verify-manifest
8s
proof_ci
6m 48s
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_coreJSON_2025_07_03_19_44_07
Expired
|
15.6 MB |
sha256:bb5562fb32628cb5d0a87a08ffeab74801fa09e4f830a40cd902591b9e106213
|
|