Skip to content
CI Checks

Update the FreeRTOS-Kernel submodule to V10.6.1 #5511

Sign in to view logs

Update the FreeRTOS-Kernel submodule to V10.6.1

Update the FreeRTOS-Kernel submodule to V10.6.1 #5511

Triggered via pull request August 31, 2023 17:20
@SkptakSkptak
synchronize #1013
Skptak:SubmoduleUpdate
Status Failure
Total duration 24m 0s
Artifacts 1

ci.yml

on: pull_request
unittest
3m 34s
unittest
spell-check
23m 49s
spell-check
formatting
20s
formatting
doxygen
15s
doxygen
verify-manifest
28s
verify-manifest
build-checks
1m 41s
build-checks
complexity
20s
complexity
git-secrets
6s
git-secrets
proof_ci
8m 30s
proof_ci
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 7 warnings
unittest
Process completed with exit code 2.
spell-check
Process completed with exit code 1.
git-secrets
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
doxygen
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
formatting
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
complexity
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build-checks
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
unittest
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
spell-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_FreeRTOS-Plus-TCP_2023_08_31_17_29_17 Expired
4.45 MB