[pull] main from FreeRTOS:main #213
Triggered via pull request
October 6, 2025 16:12
pull[bot]
Status
Cancelled
Total duration
1d 0h 0m 2s
Artifacts
–
ci.yml
on: pull_request
git-secrets
1m 4s
formatting
6m 4s
spell-check
2m 51s
doxygen
2m 17s
verify-manifest
2m 14s
memory-statistics
1m 25s
proof_ci
1d 0h
Annotations
1 error
|
proof_ci
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s
|