Skip to content

Fix C source and header file license spacing (#1155) #7

Fix C source and header file license spacing (#1155)

Fix C source and header file license spacing (#1155) #7

Triggered via push January 13, 2024 22:47
Status Cancelled
Total duration 53s
Artifacts

ci.yml

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

Annotations

8 errors
spell-check
The run was canceled by @Paebbels.
verify-manifest
The run was canceled by @Paebbels.
doxygen
The run was canceled by @Paebbels.
doxygen
The operation was canceled.
memory-statistics
The run was canceled by @Paebbels.
memory-statistics
The operation was canceled.
git-secrets
The run was canceled by @Paebbels.
git-secrets
The operation was canceled.