Add write permissions to doxygen generation workflow on main #970
ci.yml
on: pull_request
unittest
33s
complexity
7s
doxygen
18s
spell-check
1m 8s
formatting
12s
ssot-check
4s
git-secrets
7s
memory_statistics
37s
link-verifier
6m 48s
verify-manifest
7s
proof_ci
2m 44s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreHTTP_2026_01_27_23_28_13
|
14.3 MB |
sha256:12371280140ce6584055b2e254cce02c965cce0d292c6babd948e92b621f629a
|
|