Remove formatting bot workflow #788
archigupci.yml
on: pull_request
unittest
25s
complexity
14s
doxygen
18s
spell-check
1m 27s
formatting
0s
git-secrets
6s
custom-standard-c-headers
7s
memory_statistics
32s
link-verifier
54s
verify-manifest
9s
proof_ci
9m 42s
Annotations
2 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
|
|
unittest
Process completed with exit code 123.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreJSON_2025_05_09_20_00_24
Expired
|
15.6 MB |
sha256:aa4f0f6b3f45073428809eceada7af18998f2a9c9a60ba738a745bcad9286148
|
|