Skip to content
CI Checks

MISRA fixes #718

Sign in to view logs

MISRA fixes

MISRA fixes #718

Triggered via pull request December 11, 2023 18:35
@bradleysmith23bradleysmith23
synchronize #153
bradleysmith23:main
Status Success
Total duration 5m 3s
Artifacts 1

ci.yml

on: pull_request
unittest
13s
unittest
complexity
7s
complexity
doxygen
31s
doxygen
spell-check
1m 40s
spell-check
formatting
8s
formatting
git-secrets
5s
git-secrets
custom-standard-c-headers
4s
custom-standard-c-headers
memory_statistics
29s
memory_statistics
link-verifier
32s
link-verifier
verify-manifest
5s
verify-manifest
proof_ci
4m 24s
proof_ci
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_coreJSON_2023_12_11_18_39_59 Expired
18.2 MB