Skip to content
Build FreeRTOS+ Demos

Fix CBMC proof failure #161

Sign in to view logs

Fix CBMC proof failure

Fix CBMC proof failure #161

Triggered via push December 23, 2024 07:42
@aggargaggarg
pushed 93d7771
update_kernel_submodule
Status Cancelled
Total duration 26m 48s
Artifacts –

freertos_plus_demos.yml

on: push
Windows Simulator Cellular Demos
2m 34s
Windows Simulator Cellular Demos
coreHTTP WinSim Demos
2m 52s
coreHTTP WinSim Demos
corePKCS11 WinSim Demos
3m 28s
corePKCS11 WinSim Demos
core Library Windows Simulator Demos
26m 35s
core Library Windows Simulator Demos
AWS IoT Windows Simulator Demos
3m 20s
AWS IoT Windows Simulator Demos
FreeRTOS+TCP Posix Simulator Demo
31s
FreeRTOS+TCP Posix Simulator Demo
FreeRTOS+TCP QEMU ARM MPS2 AN385
39s
FreeRTOS+TCP QEMU ARM MPS2 AN385
FreeRTOS+TCP Windows Simulator Demos
5m 58s
FreeRTOS+TCP Windows Simulator Demos
FreeRTOS+CLI Windows Simulator Demos
1m 51s
FreeRTOS+CLI Windows Simulator Demos
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
FreeRTOS+TCP Windows Simulator Demos
Process completed with exit code 1.
core Library Windows Simulator Demos
The hosted runner encountered an error while running your job. (Error Type: Disconnect).
FreeRTOS+TCP QEMU ARM MPS2 AN385
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636