refactor: remove need for oldBintools #177
nix.yaml
on: pull_request
pyfdt
23s
guardonce
21s
concurrencytest
21s
capDL-tool
19s
toolchain-aarch64-elf
22s
toolchain-armv7l-eabihf
22s
formatting
30s
uboot-aarch64-rpi4
21s
toolchain-i686-elf
25s
toolchain-riscv32-elf
25s
toolchain-x86_64-elf
22s
atf-aarch64-zcu102
22s
linux-aarch64
22s
pmufw-mblaze-zcu102
20s
toolchain-aarch64-linux
24s
toolchain-armv7l-linux
20s
toolchain-riscv64-elf
19s
uboot-aarch64-zcu102
18s
uboot-armv7l-zynq-zc702
19s
Check on x86_64-linux
41s
sd-aarch64-rpi4
20s
microkit
47s
seL4-test-aarch64-imx8mq-evk
28s
seL4-test-aarch64-rpi4-1GB
28s
seL4-test-aarch64-rpi4-2GB
28s
seL4-test-aarch64-rpi4-4GB
27s
seL4-test-aarch64-rpi4-8GB
22s
seL4-test-aarch64-zcu102
23s
seL4-test-armv7l-rpi3
24s
seL4-test-armv7l-zynq7000
27s
seL4-test-armv7l-zynq7000-simulate
24s
seL4-test-i686-ia32
17s
seL4-test-i686-ia32-simulate
17s
seL4-test-riscv32-spike
48s
seL4-test-x86_64-x86_64
17s
seL4-test-x86_64-x86_64-simulate
16s
seL4-kernel-aarch64
21s
seL4-kernel-arm
20s
seL4-kernel-arm-hyp
22s
seL4-kernel-arm-hyp-exynos5
21s
seL4-kernel-arm-imx8mm
19s
seL4-kernel-arm-mcs
19s
seL4-kernel-riscv64-elf
21s
seL4-kernel-riscv64-mcs
20s
seL4-kernel-x64
19s
seL4-camkes-vm-examples-aarch64-qemu-arm-virt
29s
seL4-camkes-vm-examples-aarch64-tx1
29s
seL4-camkes-vm-examples-aarch64-tx2
26s
seL4-camkes-vm-examples-aarch64-zcu102
38s
seL4-camkes-vm-examples-armv7l-exynos5422
27s
default
1m 1s
Annotations
6 errors
Check on x86_64-linux
Process completed with exit code 1.
|
seL4-test-i686-ia32
Process completed with exit code 1.
|
seL4-test-x86_64-x86_64
Process completed with exit code 1.
|
seL4-test-x86_64-x86_64-simulate
Process completed with exit code 1.
|
seL4-test-i686-ia32-simulate
Process completed with exit code 1.
|
seL4-test-riscv32-spike
Process completed with exit code 1.
|