Add artifact backup action #744
ci.yml
on: push
build-check
20s
build-code-example
5s
unittest-with-sanitizer
11s
unittest-for-coverage
1m 59s
complexity
22s
spell-check
2m 23s
formatting
1m 28s
git-secrets
6s
link-verifier
3m 12s
verify-manifest
8s
doxygen
29s
memory_statistics
35s
proof_ci
2m 18s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreSNTP_2025_07_03_19_32_03
Expired
|
2.62 MB |
sha256:2f4dd2dcf4ad638b2deba4435b576c91902089e7ad0d7bebd1c9bafbf51d4574
|
|