Skip to content

Unbounded proofs of memory safety #708

Unbounded proofs of memory safety

Unbounded proofs of memory safety #708

Re-run triggered October 13, 2023 17:22
Status Cancelled
Total duration 1h 48m 17s
Artifacts

ci.yml

on: pull_request
unittest
23s
unittest
complexity
9s
complexity
doxygen
16s
doxygen
spell-check
45s
spell-check
formatting
15s
formatting
git-secrets
8s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
42s
memory_statistics
link-verifier
49s
link-verifier
verify-manifest
6s
verify-manifest
proof_ci
1h 48m
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors
proof_ci
The runner has received a shutdown signal. This can happen when the runner service is stopped, or a manually started runner is canceled.
proof_ci
The operation was canceled.