Skip to content
CI Checks

Unbounded proofs of memory safety (#146) #710

Sign in to view logs

Unbounded proofs of memory safety (#146)

Unbounded proofs of memory safety (#146) #710

Triggered via push October 17, 2023 23:49
@AniruddhaKanhereAniruddhaKanhere
pushed 8c7ba86
main
Status Success
Total duration 1m 18s
Artifacts –

ci.yml

on: push
unittest
30s
unittest
complexity
13s
complexity
doxygen
37s
doxygen
spell-check
1m 4s
spell-check
formatting
13s
formatting
git-secrets
4s
git-secrets
custom-standard-c-headers
13s
custom-standard-c-headers
memory_statistics
42s
memory_statistics
link-verifier
1m 7s
link-verifier
verify-manifest
10s
verify-manifest
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in