Skip to content
CI Checks

Fix Block Bitmap Calculation #2780

Sign in to view logs

Fix Block Bitmap Calculation

Fix Block Bitmap Calculation #2780

Triggered via pull request January 18, 2024 17:40
@bradleysmith23bradleysmith23
synchronize #504
BogdanTheGeek:fix/bitmap
Status Failure
Total duration 6m 29s
Billable time 7m
Artifacts 2

ci.yml

on: pull_request
compiler-warnings
15s
compiler-warnings
complexity
7s
complexity
unittest
22s
unittest
coverage
24s
coverage
doxygen
17s
doxygen
spell-check
2m 12s
spell-check
formatting
18s
formatting
git-secrets
5s
git-secrets
memory_statistics
41s
memory_statistics
link-verifier
50s
link-verifier
verify-manifest
15s
verify-manifest
proof_ci
6m 14s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

3 errors
coverage
Process completed with exit code 1.
coverage
Process completed with exit code 1.
proof_ci
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
CodecovHTMLReport Expired
158 KB
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2024_01_18_17_46_03 Expired
107 MB