Skip to content
CI Checks

test #616

Sign in to view logs

test

test #616

Triggered via push May 9, 2024 09:31
@tony-josi-awstony-josi-aws
pushed fc295bb
test_check_cbmc
Status Success
Total duration 2m 13s
Artifacts –

ci.yml

on: push
unittest
2m 3s
unittest
spell-check
1m 11s
spell-check
formatting
15s
formatting
doxygen
18s
doxygen
verify-manifest
17s
verify-manifest
link-verifier
1m 40s
link-verifier
build-checks
1m 3s
build-checks
complexity
23s
complexity
git-secrets
4s
git-secrets
cbmc-function-check
10s
cbmc-function-check
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in