Update release workflow to match standard format #974
jasonpcarrollci.yml
on: pull_request
unittest
34s
complexity
11s
doxygen
16s
spell-check
1m 23s
formatting
14s
ssot-check
6s
git-secrets
6s
memory_statistics
37s
link-verifier
4m 47s
verify-manifest
9s
proof_ci
3m 11s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreHTTP_2026_01_28_02_00_34
Expired
|
14.3 MB |
sha256:bdb68d575a902600c612d8b47b34990adf3ea7e56889d76215b6b6b94b7a3a92
|
|