Skip to content
CI Checks

Fix header #728

Sign in to view logs

Fix header

Fix header #728

Triggered via push December 25, 2023 06:30
@chinglee-iotchinglee-iot
pushed f3e98fe
update-header
Status Success
Total duration 2m 27s
Artifacts –

ci.yml

on: push
git-secrets
1m 2s
git-secrets
formatting
21s
formatting
spell-check
2m 2s
spell-check
doxygen
2m 15s
doxygen
verify-manifest
2m 15s
verify-manifest
memory-statistics
2m 0s
memory-statistics
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in