Skip to content
CI Checks

Remove formatting bot workflow #742

Sign in to view logs

Remove formatting bot workflow

Remove formatting bot workflow #742

Triggered via pull request May 9, 2025 19:50
@archiguparchigup
opened #107
archigup:remove_formatting_bot
Status Failure
Total duration 7m 41s
Artifacts 1

ci.yml

on: pull_request
build-check
15s
build-check
build-code-example
6s
build-code-example
unittest-with-sanitizer
10s
unittest-with-sanitizer
unittest-for-coverage
37s
unittest-for-coverage
complexity
15s
complexity
spell-check
1m 32s
spell-check
formatting
38s
formatting
git-secrets
7s
git-secrets
link-verifier
7m 36s
link-verifier
verify-manifest
10s
verify-manifest
doxygen
17s
doxygen
memory_statistics
28s
memory_statistics
proof_ci
1m 3s
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_19_51_11 Expired
2.67 MB
sha256:53c1a1b54ed5be5d4d479a51ddb06ac9db6cd74f609585b333b539cb8d251d43