[pull] main from FreeRTOS:main #2
Triggered via pull request
September 12, 2023 00:04
pull[bot]
Status
Failure
Total duration
1d 15h 6m 4s
Artifacts
–
ci.yml
on: pull_request
git-secrets
1m 52s
formatting
27s
spell-check
1m 45s
doxygen
4m 23s
verify-manifest
2m 39s
memory-statistics
2m 41s
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.
|