Merge branch 'main' into LienNguyen2910-patch-1 #2759
ci.yml
on: push
compiler-warnings
17s
complexity
29s
unittest
35s
coverage
27s
doxygen
17s
spell-check
54s
formatting
20s
git-secrets
7s
memory_statistics
1m 1s
link-verifier
54s
verify-manifest
28s
proof_ci
0s
Annotations
1 error
formatting
Process completed with exit code 1.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
formattingChanges
Expired
|
1010 Bytes |
|