Skip to content
CI Checks

Add artifact backup action #745

Sign in to view logs

Add artifact backup action

Add artifact backup action #745

Triggered via pull request July 3, 2025 19:35
@AniruddhaKanhereAniruddhaKanhere
opened #108
AddArtifactBackup
Status Success
Total duration 2m 14s
Artifacts 1

ci.yml

on: pull_request
build-check
14s
build-check
build-code-example
6s
build-code-example
unittest-with-sanitizer
20s
unittest-with-sanitizer
unittest-for-coverage
42s
unittest-for-coverage
complexity
58s
complexity
spell-check
1m 16s
spell-check
formatting
36s
formatting
git-secrets
5s
git-secrets
link-verifier
1m 39s
link-verifier
verify-manifest
7s
verify-manifest
doxygen
23s
doxygen
memory_statistics
29s
memory_statistics
proof_ci
2m 9s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreSNTP_2025_07_03_19_38_03 Expired
2.61 MB
sha256:2f05903ddae4fbf39b50f3d7032a253989b0e43cec1a2b2eb0a616672689b3d0