CI-CD Updates #812
ci.yml
on: pull_request
unittest
35s
complexity
12s
doxygen
20s
spell-check
49s
formatting
14s
ssot-check
4s
git-secrets
3s
memory_statistics
47s
link-verifier
1m 3s
verify-manifest
11s
proof_ci
3m 42s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
cbmc_proof_results_coreHTTP_2023_09_05_17_33_06
Expired
|
13 MB |
|