Skip to content
CI Checks

Fix Block Bitmap Calculation #2781

Sign in to view logs

Fix Block Bitmap Calculation

Fix Block Bitmap Calculation #2781

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

ci.yml

on: pull_request
compiler-warnings
1m 56s
compiler-warnings
complexity
39s
complexity
unittest
27s
unittest
coverage
1m 16s
coverage
doxygen
33s
doxygen
spell-check
2m 18s
spell-check
formatting
9s
formatting
git-secrets
4s
git-secrets
memory_statistics
59s
memory_statistics
link-verifier
47s
link-verifier
verify-manifest
17s
verify-manifest
proof_ci
6m 1s
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
159 KB
cbmc_proof_results_ota-for-aws-iot-embedded-sdk_2024_01_24_18_16_23 Expired
107 MB