Skip to content

Logging Print Formatter Fix #649

Logging Print Formatter Fix

Logging Print Formatter Fix #649

Triggered via pull request December 14, 2023 22:38
Status Failure
Total duration 2m 4s
Billable time 1m
Artifacts 1

ci.yml

on: pull_request
build-check
4s
build-check
build-code-example
5s
build-code-example
unittest-with-sanitizer
13s
unittest-with-sanitizer
unittest-for-coverage
17s
unittest-for-coverage
complexity
7s
complexity
spell-check
1m 53s
spell-check
formatting
7s
formatting
git-secrets
3s
git-secrets
link-verifier
35s
link-verifier
verify-manifest
5s
verify-manifest
doxygen
13s
doxygen
memory_statistics
21s
memory_statistics
proof_ci
38s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
unittest-for-coverage
Process completed with exit code 2.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreSNTP_2023_12_14_22_39_47 Expired
2.78 MB