[pull] main from FreeRTOS:main #17
Triggered via pull request
October 12, 2023 15:09
pull[bot]
Status
Failure
Total duration
1d 0h 1m 18s
Artifacts
–
ci.yml
on: pull_request
git-secrets
1m 48s
formatting
24s
spell-check
2m 8s
doxygen
1m 36s
verify-manifest
2m 57s
memory-statistics
2m 5s
proof_ci
0s
Annotations
1 error
|
proof_ci
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|