Skip to content
CI Checks

Fix header check #311

Sign in to view logs

Fix header check

Fix header check #311

Triggered via push December 11, 2023 17:19
@aggargaggarg
pushed a9d5830
fix_demos_kernel_V10_6_2
Status Success
Total duration 2m 57s
Artifacts –

ci.yml

on: push
git-secrets
1m 6s
git-secrets
formatting
19s
formatting
spell-check
2m 46s
spell-check
doxygen
1m 32s
doxygen
verify-manifest
1m 46s
verify-manifest
memory-statistics
1m 34s
memory-statistics
proof_ci
0s
proof_ci
Fit to window
Zoom out
Zoom in