Skip to content
CI Checks

Logging Print Formatter Fix #650

Sign in to view logs

Logging Print Formatter Fix

Logging Print Formatter Fix #650

Re-run triggered December 15, 2023 14:14
@SkptakSkptak
#81
Skptak:loggingFix
Status Success
Total duration 55s
Billable time 2m
Artifacts 1

ci.yml

on: pull_request
build-check
4s
build-check
build-code-example
3s
build-code-example
unittest-with-sanitizer
12s
unittest-with-sanitizer
unittest-for-coverage
17s
unittest-for-coverage
complexity
7s
complexity
spell-check
1m 59s
spell-check
formatting
8s
formatting
git-secrets
6s
git-secrets
link-verifier
42s
link-verifier
verify-manifest
4s
verify-manifest
doxygen
28s
doxygen
memory_statistics
19s
memory_statistics
proof_ci
38s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreSNTP_2023_12_15_14_14_55 Expired
2.78 MB