Skip to content
CI Checks

Logging Print Formatter Fix #654

Sign in to view logs

Logging Print Formatter Fix

Logging Print Formatter Fix #654

Triggered via pull request December 15, 2023 20:02
@SkptakSkptak
synchronize #81
Skptak:loggingFix
Status Success
Total duration 2m 32s
Artifacts 2

ci.yml

on: pull_request
build-check
4s
build-check
build-code-example
4s
build-code-example
unittest-with-sanitizer
7s
unittest-with-sanitizer
unittest-for-coverage
17s
unittest-for-coverage
complexity
7s
complexity
spell-check
1m 55s
spell-check
formatting
7s
formatting
git-secrets
7s
git-secrets
link-verifier
43s
link-verifier
verify-manifest
5s
verify-manifest
doxygen
43s
doxygen
memory_statistics
22s
memory_statistics
proof_ci_cbmc_runner
33s
proof_ci_cbmc_runner
proof_ci_ubuntu_runner
45s
proof_ci_ubuntu_runner
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreSNTP_2023_12_15_20_02_59 Expired
2.78 MB
cbmc_proof_results_coreSNTP_2023_12_15_20_04_33 Expired
2.78 MB