Merge branch 'FreeRTOS:main' into main #19
ci.yml
on: push
git-secrets
1m 18s
formatting
2m 4s
spell-check
2m 10s
doxygen
2m 56s
verify-manifest
2m 16s
memory-statistics
1m 22s
proof_ci
1d 0h
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-72a1196d8a19e8da78052b4ab2421f5834407137
Expired
|
8.91 MB |
sha256:7d01db522ba5e73b240eaed102f576964ec270ba48cf4afaea10a3e3ee401d5d
|
|
freertos-memory-estimates
Expired
|
1.01 KB |
sha256:3ee4a9d66d3628b52d5d2ab4157e7193c4733ff2836d031cadda5a78892db1dd
|
|