Skip to content

Logging Print Formatter Fix #651

Logging Print Formatter Fix

Logging Print Formatter Fix #651

Triggered via pull request December 15, 2023 17:28
Status Failure
Total duration 1m 59s
Billable time 1m
Artifacts 1

ci.yml

on: pull_request
build-check
4s
build-check
build-code-example
2s
build-code-example
unittest-with-sanitizer
5s
unittest-with-sanitizer
unittest-for-coverage
9s
unittest-for-coverage
complexity
7s
complexity
spell-check
1m 47s
spell-check
formatting
8s
formatting
git-secrets
6s
git-secrets
link-verifier
38s
link-verifier
verify-manifest
6s
verify-manifest
doxygen
16s
doxygen
memory_statistics
18s
memory_statistics
proof_ci
37s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

6 errors
build-check
Process completed with exit code 2.
build-code-example
Process completed with exit code 2.
unittest-with-sanitizer
Process completed with exit code 2.
unittest-for-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_coreSNTP_2023_12_15_17_29_09 Expired
1.27 MB