Update Github CI workflow permission for release actions #6973
tony-josi-awsci.yml
on: pull_request
unittest
7m 23s
spell-check
1m 7s
formatting
1m 16s
doxygen
2m 13s
verify-manifest
18s
link-verifier
14m 13s
build-checks
2m 36s
complexity
1m 0s
git-secrets
8s
proof_ci
10m 10s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_FreeRTOS-Plus-TCP_2025_08_20_07_55_05
Expired
|
5.5 MB |
sha256:6bd88562f733b92c0b0b2861dfeb7b54a29faeec2db5ced9b608cc1a75b43c2c
|
|