Add write permissions to doxygen generation workflow on main #811
cookpateci.yml
on: pull_request
unittest
28s
complexity
8s
doxygen
13s
spell-check
1m 8s
formatting
13s
git-secrets
7s
custom-standard-c-headers
10s
memory_statistics
39s
link-verifier
41s
verify-manifest
6s
proof_ci
2m 22s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_coreJSON_2026_01_27_23_54_59
Expired
|
15.6 MB |
sha256:73d5d0f929df045e59571e937fbde87dc0bc0b0c998a6e70bba07d18391c1f3b
|
|