refactor: remove need for oldBintools #178
nix.yaml
on: pull_request
pyfdt
20s
guardonce
21s
concurrencytest
23s
capDL-tool
22s
toolchain-aarch64-elf
20s
toolchain-armv7l-eabihf
20s
formatting
28s
uboot-aarch64-rpi4
20s
toolchain-i686-elf
20s
toolchain-x86_64-elf
20s
atf-aarch64-zcu102
18s
linux-aarch64
21s
pmufw-mblaze-zcu102
17s
toolchain-aarch64-linux
25s
toolchain-armv7l-linux
22s
toolchain-riscv32-elf
20s
toolchain-riscv64-elf
19s
uboot-aarch64-zcu102
19s
uboot-armv7l-zynq-zc702
20s
Check on x86_64-linux
53s
sd-aarch64-rpi4
19s
microkit
50s
seL4-test-aarch64-imx8mq-evk
59s
seL4-test-aarch64-rpi4-1GB
1m 3s
seL4-test-aarch64-rpi4-2GB
1m 1s
seL4-test-aarch64-rpi4-4GB
59s
seL4-test-aarch64-rpi4-8GB
59s
seL4-test-aarch64-zcu102
1m 0s
seL4-test-armv7l-rpi3
59s
seL4-test-armv7l-zynq7000
1m 5s
seL4-test-armv7l-zynq7000-simulate
1m 0s
seL4-test-i686-ia32
54s
seL4-test-i686-ia32-simulate
56s
seL4-test-x86_64-x86_64
56s
seL4-test-x86_64-x86_64-simulate
58s
seL4-kernel-aarch64
22s
seL4-kernel-arm
19s
seL4-kernel-arm-hyp
21s
seL4-kernel-arm-hyp-exynos5
20s
seL4-kernel-arm-imx8mm
20s
seL4-kernel-arm-mcs
22s
seL4-kernel-riscv64-elf
22s
seL4-kernel-riscv64-mcs
21s
seL4-kernel-x64
22s
seL4-camkes-vm-examples-aarch64-qemu-arm-virt
29s
seL4-camkes-vm-examples-aarch64-tx1
26s
seL4-camkes-vm-examples-aarch64-tx2
25s
seL4-camkes-vm-examples-aarch64-zcu102
40s
seL4-camkes-vm-examples-armv7l-exynos5422
28s
default
1m 2s