Skip to content
CI Checks

Fix example code snippet (#80) #647

Sign in to view logs

Fix example code snippet (#80)

Fix example code snippet (#80) #647

Triggered via push November 27, 2023 16:03
@aggargaggarg
pushed 9170096
main
Status Success
Total duration 2m 13s
Artifacts –

ci.yml

on: push
build-check
7s
build-check
build-code-example
8s
build-code-example
unittest-with-sanitizer
9s
unittest-with-sanitizer
unittest-for-coverage
24s
unittest-for-coverage
complexity
7s
complexity
spell-check
2m 2s
spell-check
formatting
17s
formatting
git-secrets
4s
git-secrets
link-verifier
39s
link-verifier
verify-manifest
5s
verify-manifest
doxygen
59s
doxygen
memory_statistics
21s
memory_statistics
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in