ARP/ND Build Separation #6674
Annotations
2 warnings
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "cbmc_proof_results_FreeRTOS-Plus-TCP_2024_10_18_02_50_03".
Please update your workflow to use v4 of the artifact actions.
Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set up CBMC runner
2m 0s
2m 0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Dependencies
15s
15s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run CBMC
6m 46s
6m 46s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Set up CBMC runner
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading