Merge branch 'FreeRTOS:main' into main #18
rohitmadan07ci.yml
on: push
git-secrets
1m 6s
formatting
1m 7s
spell-check
1m 34s
doxygen
2m 54s
verify-manifest
2m 13s
memory-statistics
1m 18s
proof_ci
0s
Annotations
1 error
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
doxygen.zip-8ce4d43065387675a30e34de84642c6835e9cbec
Expired
|
8.92 MB |
sha256:7791bf2bdb2ba62ebae85bdff9c94cd0c5aaab7f8ae061691d09c67b4d9ef736
|
|
|
freertos-memory-estimates
Expired
|
1.01 KB |
sha256:3381bcb1acd707f3f5503a3b45a33a4a9c414f1fe0598b5074cb2dc5efd2db6b
|
|