Skip to content

Unbounded proofs of memory safety #702

Unbounded proofs of memory safety

Unbounded proofs of memory safety #702

Re-run triggered October 12, 2023 17:59
Status Failure
Total duration 1h 47m 19s
Artifacts 1

ci.yml

on: pull_request
unittest
18s
unittest
complexity
9s
complexity
doxygen
2m 15s
doxygen
spell-check
36s
spell-check
formatting
12s
formatting
git-secrets
9s
git-secrets
custom-standard-c-headers
7s
custom-standard-c-headers
memory_statistics
45s
memory_statistics
link-verifier
56s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
1h 47m
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors
formatting
Process completed with exit code 1.
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.

Artifacts

Produced during runtime
Name Size
formattingChanges Expired
1.49 KB