Component Build & Test CI

mkm: make proof use CN standard predicates #387

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
jsbsim_proxy	10s
logging	23s
libgpiod	8s
ardupilot	23s
pkvm	1m 24s
trusted-boot-build	25s
vm_image_base	10s
qemu	49s
vm_runner	3s
vhost_device	4s
mps-build	11s
mkm_client	23s
mkm	25s
mps-test	4m 45s
vm_images	2m 3s
mps-test-vm	6m 29s
	18m 15s