Skip to content
CI Checks

Logging Print Formatter Fix #652

Sign in to view logs

Logging Print Formatter Fix

Logging Print Formatter Fix #652

Triggered via pull request December 15, 2023 17:30
@SkptakSkptak
synchronize #81
Skptak:loggingFix
Status Failure
Total duration 2m 0s
Billable time 2m
Artifacts 2

ci.yml

on: pull_request
build-check
5s
build-check
build-code-example
5s
build-code-example
unittest-with-sanitizer
6s
unittest-with-sanitizer
unittest-for-coverage
8s
unittest-for-coverage
complexity
8s
complexity
spell-check
1m 49s
spell-check
formatting
11s
formatting
git-secrets
3s
git-secrets
link-verifier
36s
link-verifier
verify-manifest
5s
verify-manifest
doxygen
12s
doxygen
memory_statistics
22s
memory_statistics
proof_ci_cbmc_runner
1m 22s
proof_ci_cbmc_runner
proof_ci_ubuntu_runner
39s
proof_ci_ubuntu_runner
Fit to window
Zoom out
Zoom in

Annotations

7 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_ubuntu_runner
Process completed with exit code 1.
proof_ci_cbmc_runner
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreSNTP_2023_12_15_17_31_15 Expired
1.27 MB
cbmc_proof_results_coreSNTP_2023_12_15_17_32_01 Expired
1.27 MB