Skip to content

feat: add more camkes-vm examples #59

feat: add more camkes-vm examples

feat: add more camkes-vm examples #59

Triggered via pull request April 24, 2024 15:33
Status Failure
Total duration 3m 43s
Artifacts

nix.yaml

on: pull_request
x86_64-linux.guardonce
23s
x86_64-linux.guardonce
x86_64-linux.pyfdt
23s
x86_64-linux.pyfdt
x86_64-linux.concurrencytest
20s
x86_64-linux.concurrencytest
x86_64-linux.pyoxidizer
21s
x86_64-linux.pyoxidizer
x86_64-linux.uboot-aarch64-rpi4
19s
x86_64-linux.uboot-aarch64-rpi4
x86_64-linux.capDL-tool
20s
x86_64-linux.capDL-tool
x86_64-linux.microkit-sdk-bin
20s
x86_64-linux.microkit-sdk-bin
x86_64-linux.uboot-armv7l-zynq-zc702
23s
x86_64-linux.uboot-armv7l-zynq-zc702
Check on x86_64-linux
47s
Check on x86_64-linux
x86_64-linux.seL4-deps
26s
x86_64-linux.seL4-deps
x86_64-linux.python-pyoxidizer
21s
x86_64-linux.python-pyoxidizer
x86_64-linux.sd-aarch64-rpi4
19s
x86_64-linux.sd-aarch64-rpi4
x86_64-linux.camkes-deps
25s
x86_64-linux.camkes-deps
x86_64-linux.seL4-kernel-arm
26s
x86_64-linux.seL4-kernel-arm
x86_64-linux.seL4-kernel-arm-hyp
34s
x86_64-linux.seL4-kernel-arm-hyp
x86_64-linux.seL4-kernel-arm-mcs
26s
x86_64-linux.seL4-kernel-arm-mcs
x86_64-linux.seL4-kernel-riscv64
24s
x86_64-linux.seL4-kernel-riscv64
x86_64-linux.seL4-kernel-riscv64-mcs
26s
x86_64-linux.seL4-kernel-riscv64-mcs
x86_64-linux.seL4-kernel-x64
26s
x86_64-linux.seL4-kernel-x64
x86_64-linux.seL4-moritz-fork-arm
25s
x86_64-linux.seL4-moritz-fork-arm
x86_64-linux.seL4-moritz-fork-arm-hyp
25s
x86_64-linux.seL4-moritz-fork-arm-hyp
x86_64-linux.seL4-moritz-fork-arm-mcs
23s
x86_64-linux.seL4-moritz-fork-arm-mcs
x86_64-linux.seL4-moritz-fork-x64
28s
x86_64-linux.seL4-moritz-fork-x64
x86_64-linux.seL4-test-aarch64-imx8mq-evk
26s
x86_64-linux.seL4-test-aarch64-imx8mq-evk
x86_64-linux.seL4-test-aarch64-rpi4-1GB
28s
x86_64-linux.seL4-test-aarch64-rpi4-1GB
x86_64-linux.seL4-test-aarch64-rpi4-2GB
26s
x86_64-linux.seL4-test-aarch64-rpi4-2GB
x86_64-linux.seL4-test-aarch64-rpi4-4GB
26s
x86_64-linux.seL4-test-aarch64-rpi4-4GB
x86_64-linux.seL4-test-aarch64-rpi4-8GB
28s
x86_64-linux.seL4-test-aarch64-rpi4-8GB
x86_64-linux.seL4-test-aarch64-zcu102
25s
x86_64-linux.seL4-test-aarch64-zcu102
x86_64-linux.seL4-test-armv7l-rpi3
25s
x86_64-linux.seL4-test-armv7l-rpi3
x86_64-linux.seL4-test-armv7l-zynq7000
25s
x86_64-linux.seL4-test-armv7l-zynq7000
x86_64-linux.seL4-test-armv7l-zynq7000-simulate
26s
x86_64-linux.seL4-test-armv7l-zynq7000-simulate
x86_64-linux.seL4-test-i686-ia32
24s
x86_64-linux.seL4-test-i686-ia32
x86_64-linux.seL4-test-i686-ia32-simulate
27s
x86_64-linux.seL4-test-i686-ia32-simulate
x86_64-linux.seL4-test-x86_64-x86_64
27s
x86_64-linux.seL4-test-x86_64-x86_64
x86_64-linux.seL4-test-x86_64-x86_64-simulate
27s
x86_64-linux.seL4-test-x86_64-x86_64-simulate
x86_64-linux.seL4-camkes-vm-examples-aarch64-exynos5422
10s
x86_64-linux.seL4-camkes-vm-examples-aarch64-exynos5422
x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt
51s
x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1
50s
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2
51s
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2
x86_64-linux.seL4-camkes-vm-examples-aarch64-zcu102
1m 46s
x86_64-linux.seL4-camkes-vm-examples-aarch64-zcu102
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Check on x86_64-linux
Process completed with exit code 1.
x86_64-linux.seL4-camkes-vm-examples-aarch64-exynos5422
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.
x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1
Process completed with exit code 1.