Dev/add microkit #43

Sign in to view logs

Triggered via pull request April 18, 2024 16:03

wucke13

synchronize #9

dev/add-microkit

Status Failure

Total duration 5m 28s

Artifacts –

nix.yaml

on: pull_request

x86_64-linux.guardonce

x86_64-linux.pyfdt

x86_64-linux.concurrencytest

x86_64-linux.uboot-aarch64-rpi4

x86_64-linux.capDL-tool

x86_64-linux.microkit-sdk-bin

x86_64-linux.uboot-armv7l-zynq-zc702

Check on x86_64-linux

x86_64-linux.seL4-deps

x86_64-linux.sd-aarch64-rpi4

x86_64-linux.camkes-deps

x86_64-linux.seL4-kernel-arm

x86_64-linux.seL4-kernel-arm-hyp

x86_64-linux.seL4-kernel-arm-mcs

x86_64-linux.seL4-kernel-riscv64

x86_64-linux.seL4-kernel-riscv64-mcs

x86_64-linux.seL4-kernel-x64

x86_64-linux.seL4-moritz-fork-arm

x86_64-linux.seL4-moritz-fork-arm-hyp

x86_64-linux.seL4-moritz-fork-arm-mcs

x86_64-linux.seL4-moritz-fork-x64

x86_64-linux.seL4-test-aarch64-imx8mq-evk

x86_64-linux.seL4-test-aarch64-rpi4-1GB

x86_64-linux.seL4-test-aarch64-rpi4-2GB

x86_64-linux.seL4-test-aarch64-rpi4-4GB

x86_64-linux.seL4-test-aarch64-rpi4-8GB

x86_64-linux.seL4-test-aarch64-zcu102

x86_64-linux.seL4-test-armv7l-rpi3

x86_64-linux.seL4-test-armv7l-zynq7000

x86_64-linux.seL4-test-armv7l-zynq7000-simulate

x86_64-linux.seL4-test-i686-ia32

x86_64-linux.seL4-test-i686-ia32-simulate

x86_64-linux.seL4-test-x86_64-x86_64

x86_64-linux.seL4-test-x86_64-x86_64-simulate

Annotations

1 error

Check on x86_64-linux

Process completed with exit code 1.