Skip to content
CI Checks

Fix example code snippet #646

Sign in to view logs

Fix example code snippet

Fix example code snippet #646

Triggered via pull request November 27, 2023 05:48
@aggargaggarg
opened #80
aggarg:example
Status Success
Total duration 2m 43s
Billable time 2m
Artifacts 1

ci.yml

on: pull_request
build-check
5s
build-check
build-code-example
4s
build-code-example
unittest-with-sanitizer
7s
unittest-with-sanitizer
unittest-for-coverage
26s
unittest-for-coverage
complexity
9s
complexity
spell-check
1m 20s
spell-check
formatting
9s
formatting
git-secrets
3s
git-secrets
link-verifier
47s
link-verifier
verify-manifest
7s
verify-manifest
doxygen
16s
doxygen
memory_statistics
23s
memory_statistics
proof_ci
1m 10s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreSNTP_2023_11_27_05_51_10 Expired
2.78 MB