upgade to new microkit-sdk, remove microkit-sdk-bin #118
nix.yaml
on: pull_request
x86_64-linux---packages---pyfdt
24s
x86_64-linux---packages---guardonce
23s
x86_64-linux---packages---concurrencytest
24s
x86_64-linux---packages---capDL-tool
26s
x86_64-linux---packages---uboot-aarch64-rpi4
23s
x86_64-linux---packages---crossStdenvAarch64OldBintools
55m 36s
x86_64-linux---packages---crossStdenvArmv7lOldBintools
57m 11s
x86_64-linux---packages---crossStdenvAarch64
23s
x86_64-linux---packages---crossStdenvArmv7l
24s
x86_64-linux---packages---crossStdenvi686
27s
x86_64-linux---packages---crossStdenvx86_64
27s
x86_64-linux---packages---atf-aarch64-zcu102
22s
x86_64-linux---packages---pmufw-mblaze-zcu102
22s
x86_64-linux---packages---uboot-aarch64-zcu102
1m 23s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
1m 17s
x86_64-linux---packages---sd-aarch64-rpi4
19s
x86_64-linux---devShells---microkit
51s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
58s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
59s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
57s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
1m 0s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
57s
x86_64-linux---packages---seL4-test-aarch64-zcu102
1m 2s
x86_64-linux---packages---seL4-test-armv7l-rpi3
59s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
55s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
58s
x86_64-linux---packages---seL4-test-i686-ia32
55s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
54s
x86_64-linux---packages---seL4-test-x86_64-x86_64
1m 0s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
58s
x86_64-linux---packages---seL4-kernel-arm
30s
x86_64-linux---packages---seL4-kernel-arm-hyp
28s
x86_64-linux---packages---seL4-kernel-arm-mcs
31s
x86_64-linux---packages---seL4-kernel-riscv64
29s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
31s
x86_64-linux---packages---seL4-kernel-x64
30s
x86_64-linux---packages---seL4-moritz-fork-arm
28s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
27s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
30s
x86_64-linux---packages---seL4-moritz-fork-x64
27s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
36s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
35s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
39s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
46s
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
44s
x86_64-linux---devShells---default
1m 5s
Check on x86_64-linux
1m 29s
Annotations
13 errors