Add write permissions to doxygen generation workflow on main (#184) #812
ci.yml
on: push
unittest
28s
complexity
7s
doxygen
14s
spell-check
1m 30s
formatting
12s
git-secrets
4s
custom-standard-c-headers
13s
memory_statistics
36s
link-verifier
39s
verify-manifest
8s
proof_ci