Remove version numbers from source files and add library version macro. #954
jasonpcarrollci.yml
on: pull_request
unittest
36s
complexity
8s
doxygen
57s
spell-check
1m 3s
formatting
12s
ssot-check
5s
git-secrets
5s
memory_statistics
34s
link-verifier
2m 24s
verify-manifest
13s
proof_ci
3m 10s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreHTTP_2026_01_26_20_00_19
Expired
|
14.3 MB |
sha256:a3cac8d8b11a16e484b8a3494403b02c920c14cf2d1f3d56404717d12dc3ec3d
|
|