feat: improve linux-vm.nix ergonomics #165
nix.yaml
on: push
x86_64-linux---packages---pyfdt
21s
x86_64-linux---packages---guardonce
22s
x86_64-linux---packages---concurrencytest
21s
x86_64-linux---packages---capDL-tool
22s
x86_64-linux---checks---formatting
24s
x86_64-linux---packages---uboot-aarch64-rpi4
18s
x86_64-linux---packages---crossStdenvAarch64OldBintools
26s
x86_64-linux---packages---crossStdenvArmv7lOldBintools
24s
x86_64-linux---packages---crossStdenvAarch64
21s
x86_64-linux---packages---crossStdenvArmv7l
27s
x86_64-linux---packages---crossStdenvi686
20s
x86_64-linux---packages---crossStdenvx86_64
24s
x86_64-linux---packages---atf-aarch64-zcu102
18s
x86_64-linux---packages---crossStdenvRiscv32
23s
x86_64-linux---packages---crossStdenvRiscv64
26s
x86_64-linux---packages---linux-aarch64
22s
x86_64-linux---packages---pmufw-mblaze-zcu102
19s
x86_64-linux---packages---uboot-aarch64-zcu102
17s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
19s
x86_64-linux---packages---seL4-kernel-arm-hyp
20s
Check on x86_64-linux
51s
x86_64-linux---packages---sd-aarch64-rpi4
18s
x86_64-linux---devShells---microkit
49s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
27s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
26s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
29s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
26s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
25s
x86_64-linux---packages---seL4-test-aarch64-zcu102
26s
x86_64-linux---packages---seL4-test-armv7l-rpi3
27s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
26s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
29s
x86_64-linux---packages---seL4-test-i686-ia32
27s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
24s
x86_64-linux---packages---seL4-test-x86_64-x86_64
25s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
26s
x86_64-linux---packages---seL4-kernel-aarch64
22s
x86_64-linux---packages---seL4-kernel-arm
20s
x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5
19s
x86_64-linux---packages---seL4-kernel-arm-imx8mm
19s
x86_64-linux---packages---seL4-kernel-arm-mcs
20s
x86_64-linux---packages---seL4-kernel-riscv64
23s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
21s
x86_64-linux---packages---seL4-kernel-x64
21s
x86_64-linux---packages---seL4-moritz-fork-arm
24s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
25s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
24s
x86_64-linux---packages---seL4-moritz-fork-x64
27s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
31s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
30s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
27s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
44s
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
40s
x86_64-linux---devShells---default
1m 10s