Add on_status_complete callback #844
aggargci.yml
on: pull_request
unittest
26s
complexity
6s
doxygen
13s
spell-check
2m 34s
formatting
8s
ssot-check
3s
git-secrets
3s
memory_statistics
31s
link-verifier
55s
verify-manifest
8s
proof_ci
3m 9s
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
cbmc_proof_results_coreHTTP_2024_01_24_09_49_05
Expired
|
14.1 MB |
|