Skip to content
Component Build & Test CI

Fix frama-c proofs #448

Sign in to view logs

Fix frama-c proofs

Fix frama-c proofs #448

Triggered via push February 13, 2025 01:11
@peterohanleypeterohanley
pushed 13033a6
gus/xmss
Status Success
Total duration 10m 2s
Artifacts 2

main.yml

on: push
libgpiod
5s
libgpiod
trusted-boot-build
20s
trusted-boot-build
vm_runner
4s
vm_runner
pkvm
1m 28s
pkvm
qemu
37s
qemu
vm_image_base
20s
vm_image_base
ardupilot
23s
ardupilot
logging
25s
logging
jsbsim_proxy
13s
jsbsim_proxy
mps-build
10s
mps-build
vhost_device
7s
vhost_device
mkm
24s
mkm
mkm_client
28s
mkm_client
mps-test
4m 47s
mps-test
vm_images
2m 6s
vm_images
mps-test-vm
6m 4s
mps-test-vm
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
mps-binaries
1.23 MB
trusted-boot-binaries
23.2 KB