Update Github CI workflow permission for release actions #6935
tony-josi-awsci.yml
on: pull_request
unittest
6m 4s
spell-check
1m 29s
formatting
22s
doxygen
24s
verify-manifest
21s
link-verifier
15m 16s
build-checks
3m 54s
complexity
21s
git-secrets
6s
proof_ci
7m 59s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_06_17_09_39_35
Expired
|
5.51 MB |
sha256:617970e584ad85946e39342585b06fdaa6433bc52f8a2789858b262b21701aa2
|
|