Logging Print Formatter Fix #649
ci.yml
on: pull_request
build-check
4s
build-code-example
5s
unittest-with-sanitizer
13s
unittest-for-coverage
17s
complexity
7s
spell-check
1m 53s
formatting
7s
git-secrets
3s
link-verifier
35s
verify-manifest
5s
doxygen
13s
memory_statistics
21s
proof_ci
38s
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 |
|