Skip to content

Remove formatting bot workflow (#107) #743

Remove formatting bot workflow (#107)

Remove formatting bot workflow (#107) #743

Triggered via push May 9, 2025 21:04
Status Failure
Total duration 7m 36s
Artifacts 1

ci.yml

on: push
build-check
6s
build-check
build-code-example
3s
build-code-example
unittest-with-sanitizer
11s
unittest-with-sanitizer
unittest-for-coverage
36s
unittest-for-coverage
complexity
15s
complexity
spell-check
1m 33s
spell-check
formatting
40s
formatting
git-secrets
4s
git-secrets
link-verifier
7m 31s
link-verifier
verify-manifest
6s
verify-manifest
doxygen
27s
doxygen
memory_statistics
29s
memory_statistics
proof_ci
1m 7s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

1 error
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreSNTP_2025_05_09_21_05_27 Expired
2.67 MB
sha256:66da94b14028b6d21a1ea3e3e35d9be6ab01a9d7c6c0d27f63cb172e776c9c92