feat: add more camkes-vm examples #60
nix.yaml
on: pull_request
x86_64-linux.concurrencytest
23s
x86_64-linux.pyoxidizer
23s
x86_64-linux.uboot-aarch64-rpi4
22s
x86_64-linux.capDL-tool
23s
x86_64-linux.microkit-sdk-bin
20s
x86_64-linux.uboot-armv7l-zynq-zc702
20s
Check on x86_64-linux
49s
x86_64-linux.python-pyoxidizer
24s
x86_64-linux.sd-aarch64-rpi4
17s
x86_64-linux.seL4-kernel-arm
25s
x86_64-linux.seL4-kernel-arm-hyp
24s
x86_64-linux.seL4-kernel-arm-mcs
26s
x86_64-linux.seL4-kernel-riscv64
25s
x86_64-linux.seL4-kernel-riscv64-mcs
25s
x86_64-linux.seL4-kernel-x64
25s
x86_64-linux.seL4-moritz-fork-arm
26s
x86_64-linux.seL4-moritz-fork-arm-hyp
25s
x86_64-linux.seL4-moritz-fork-arm-mcs
27s
x86_64-linux.seL4-moritz-fork-x64
25s
x86_64-linux.seL4-test-aarch64-imx8mq-evk
25s
x86_64-linux.seL4-test-aarch64-rpi4-1GB
26s
x86_64-linux.seL4-test-aarch64-rpi4-2GB
24s
x86_64-linux.seL4-test-aarch64-rpi4-4GB
29s
x86_64-linux.seL4-test-aarch64-rpi4-8GB
27s
x86_64-linux.seL4-test-aarch64-zcu102
26s
x86_64-linux.seL4-test-armv7l-rpi3
31s
x86_64-linux.seL4-test-armv7l-zynq7000
28s
x86_64-linux.seL4-test-armv7l-zynq7000-simulate
27s
x86_64-linux.seL4-test-i686-ia32
25s
x86_64-linux.seL4-test-i686-ia32-simulate
27s
x86_64-linux.seL4-test-x86_64-x86_64
29s
x86_64-linux.seL4-test-x86_64-x86_64-simulate
25s
x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt
50s
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1
48s
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2
48s
x86_64-linux.seL4-camkes-vm-examples-aarch64-zcu102
1m 2s
x86_64-linux.seL4-camkes-vm-examples-armv7l-exynos5422
19s
Annotations
5 errors
Check on x86_64-linux
Process completed with exit code 1.
|
x86_64-linux.seL4-camkes-vm-examples-armv7l-exynos5422
Process completed with exit code 1.
|
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1
Process completed with exit code 1.
|
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2
Process completed with exit code 1.
|
x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt
Process completed with exit code 1.
|