Skip to content
CI Checks

Fix Block Bitmap Calculation #2772

Sign in to view logs

Fix Block Bitmap Calculation

Fix Block Bitmap Calculation #2772

Re-run triggered December 16, 2023 17:01
@bradleysmith23bradleysmith23
#504
BogdanTheGeek:fix/bitmap
Status Failure
Total duration 5m 2s
Artifacts 1

ci.yml

on: pull_request
compiler-warnings
10s
compiler-warnings
complexity
8s
complexity
unittest
14s
unittest
coverage
21s
coverage
doxygen
15s
doxygen
spell-check
1m 50s
spell-check
formatting
10s
formatting
git-secrets
3s
git-secrets
memory_statistics
47s
memory_statistics
link-verifier
49s
link-verifier
verify-manifest
29s
verify-manifest
proof_ci
4m 22s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

5 errors
compiler-warnings
Process completed with exit code 2.
unittest
Process completed with exit code 2.
coverage
Process completed with exit code 2.
memory_statistics
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2023_12_16_17_05_59 Expired
26.3 MB