Skip to content
Component Build & Test CI

mkm: make proof use CN standard predicates #387

Sign in to view logs

mkm: make proof use CN standard predicates

mkm: make proof use CN standard predicates #387

Triggered via push December 20, 2024 02:01
@septractseptract
pushed 4f4b81e
139-feature-verify-test-mkm-module
Status Failure
Total duration 10m 15s
Artifacts 2

main.yml

on: push
libgpiod
8s
libgpiod
trusted-boot-build
25s
trusted-boot-build
vm_runner
3s
vm_runner
pkvm
1m 24s
pkvm
qemu
49s
qemu
vm_image_base
10s
vm_image_base
ardupilot
23s
ardupilot
logging
23s
logging
jsbsim_proxy
10s
jsbsim_proxy
mps-build
11s
mps-build
vhost_device
4s
vhost_device
mkm
25s
mkm
mkm_client
23s
mkm_client
mps-test
4m 45s
mps-test
vm_images
2m 3s
vm_images
mps-test-vm
6m 29s
mps-test-vm
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mkm_client
Process completed with exit code 2.
mkm
Process completed with exit code 2.

Artifacts

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