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