Nix

fix: normalize the way seL4-kernel.nix is written #159

Sign in to view logs

Triggered via pull request October 28, 2024 10:45

wucke13

synchronize #32

dev/fix-kernel-exprs

Status Success

Total duration 3m 7s

Artifacts –

nix.yaml

on: pull_request

x86_64-linux---packages---pyfdt

x86_64-linux---packages---guardonce

x86_64-linux---packages---concurrencytest

x86_64-linux---packages---capDL-tool

x86_64-linux---checks---formatting

x86_64-linux---packages---uboot-aarch64-rpi4

x86_64-linux---packages---crossStdenvAarch64OldBintools

x86_64-linux---packages---crossStdenvArmv7lOldBintools

x86_64-linux---packages---crossStdenvAarch64

x86_64-linux---packages---crossStdenvArmv7l

x86_64-linux---packages---crossStdenvi686

x86_64-linux---packages---crossStdenvx86_64

x86_64-linux---packages---atf-aarch64-zcu102

x86_64-linux---packages---crossStdenvRiscv32

x86_64-linux---packages---crossStdenvRiscv64

x86_64-linux---packages---linux-aarch64

x86_64-linux---packages---pmufw-mblaze-zcu102

x86_64-linux---packages---uboot-aarch64-zcu102

x86_64-linux---packages---uboot-armv7l-zynq-zc702

x86_64-linux---packages---microkit-sdk

x86_64-linux---packages---seL4-deps

x86_64-linux---packages---seL4-kernel-arm-hyp

Check on x86_64-linux

x86_64-linux---packages---sd-aarch64-rpi4

x86_64-linux---devShells---microkit

x86_64-linux---packages---camkes-deps

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

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

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

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

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

x86_64-linux---packages---seL4-test-aarch64-zcu102

x86_64-linux---packages---seL4-test-armv7l-rpi3

x86_64-linux---packages---seL4-test-armv7l-zynq7000

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

x86_64-linux---packages---seL4-test-i686-ia32

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

x86_64-linux---packages---seL4-test-x86_64-x86_64

x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate

x86_64-linux---packages---seL4-kernel-aarch64

x86_64-linux---packages---seL4-kernel-arm

x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5

x86_64-linux---packages---seL4-kernel-arm-imx8mm

x86_64-linux---packages---seL4-kernel-arm-mcs

x86_64-linux---packages---seL4-kernel-riscv64

x86_64-linux---packages---seL4-kernel-riscv64-mcs

x86_64-linux---packages---seL4-kernel-x64

x86_64-linux---packages---seL4-moritz-fork-arm

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

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

x86_64-linux---packages---seL4-moritz-fork-x64

x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt

x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1

x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2

x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102

x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422

x86_64-linux---devShells---default