Remove formatting bot workflow #631
archigupci.yml
on: pull_request
unittest
45s
complexity
15s
doxygen
7m 17s
spell-check
1m 4s
formatting
38s
git-secrets
7s
memory_statistics
31s
link-verifier
2m 56s
verify-manifest
7s
proof_ci
17m 4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Cellular-Interface_2025_05_09_20_06_34
Expired
|
65.2 MB |
sha256:8fdea1053a731187a9c303e68e8ff475fb5be4261f542c446f34201d26260ee1
|
|