Skip to content
CI Checks

Remove formatting bot workflow #939

Sign in to view logs

Remove formatting bot workflow

Remove formatting bot workflow #939

Triggered via pull request May 9, 2025 19:48
@archiguparchigup
opened #191
archigup:remove_formatting_bot
Status Cancelled
Total duration 7m 51s
Artifacts 1

ci.yml

on: pull_request
unittest
39s
unittest
complexity
22s
complexity
doxygen
22s
doxygen
spell-check
2m 32s
spell-check
formatting
1s
formatting
ssot-check
7s
ssot-check
git-secrets
8s
git-secrets
memory_statistics
36s
memory_statistics
link-verifier
7m 48s
link-verifier
verify-manifest
8s
verify-manifest
proof_ci
5m 59s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

4 errors
formatting
This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner will be removed on 2025-04-15. For more details, see https://github.com/actions/runner-images/issues/11101
ssot-check
Process completed with exit code 1.
unittest
Process completed with exit code 123.
link-verifier
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
cbmc_proof_results_coreHTTP_2025_05_09_19_55_44 Expired
14.3 MB
sha256:5c9b94ff5cf7889d5ef1590a0dbe063ec816b9e33df270e7ebf839ea47af23c3