Skip to content
Nix

refactor: remove need for oldBintools #173

Sign in to view logs

refactor: remove need for oldBintools

refactor: remove need for oldBintools #173

Triggered via pull request October 31, 2024 22:42
@wucke13wucke13
opened #39
dev/seL4-kernel-hotfix
Status Success
Total duration 3m 50s
Artifacts –

nix.yaml

on: pull_request
x86_64-linux---packages---pyfdt
20s
x86_64-linux---packages---pyfdt
x86_64-linux---packages---guardonce
21s
x86_64-linux---packages---guardonce
x86_64-linux---packages---concurrencytest
24s
x86_64-linux---packages---concurrencytest
x86_64-linux---packages---capDL-tool
18s
x86_64-linux---packages---capDL-tool
x86_64-linux---checks---formatting
24s
x86_64-linux---checks---formatting
x86_64-linux---packages---uboot-aarch64-rpi4
19s
x86_64-linux---packages---uboot-aarch64-rpi4
x86_64-linux---packages---crossStdenvAarch64OldBintools
18s
x86_64-linux---packages---crossStdenvAarch64OldBintools
x86_64-linux---packages---crossStdenvArmv7lOldBintools
20s
x86_64-linux---packages---crossStdenvArmv7lOldBintools
x86_64-linux---packages---crossStdenvAarch64
21s
x86_64-linux---packages---crossStdenvAarch64
x86_64-linux---packages---crossStdenvArmv7l
24s
x86_64-linux---packages---crossStdenvArmv7l
x86_64-linux---packages---crossStdenvi686
23s
x86_64-linux---packages---crossStdenvi686
x86_64-linux---packages---crossStdenvx86_64
20s
x86_64-linux---packages---crossStdenvx86_64
x86_64-linux---packages---atf-aarch64-zcu102
17s
x86_64-linux---packages---atf-aarch64-zcu102
x86_64-linux---packages---crossStdenvRiscv32
19s
x86_64-linux---packages---crossStdenvRiscv32
x86_64-linux---packages---crossStdenvRiscv64
21s
x86_64-linux---packages---crossStdenvRiscv64
x86_64-linux---packages---linux-aarch64
25s
x86_64-linux---packages---linux-aarch64
x86_64-linux---packages---pmufw-mblaze-zcu102
20s
x86_64-linux---packages---pmufw-mblaze-zcu102
x86_64-linux---packages---uboot-aarch64-zcu102
17s
x86_64-linux---packages---uboot-aarch64-zcu102
x86_64-linux---packages---uboot-armv7l-zynq-zc702
18s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
x86_64-linux---packages---microkit-sdk
29s
x86_64-linux---packages---microkit-sdk
x86_64-linux---packages---seL4-deps
22s
x86_64-linux---packages---seL4-deps
x86_64-linux---packages---seL4-kernel-arm-hyp
19s
x86_64-linux---packages---seL4-kernel-arm-hyp
Check on x86_64-linux
52s
Check on x86_64-linux
x86_64-linux---packages---sd-aarch64-rpi4
19s
x86_64-linux---packages---sd-aarch64-rpi4
x86_64-linux---devShells---microkit
48s
x86_64-linux---devShells---microkit
x86_64-linux---packages---camkes-deps
24s
x86_64-linux---packages---camkes-deps
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
1m 3s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
1m 0s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
1m 2s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
1m 2s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
1m 7s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
x86_64-linux---packages---seL4-test-aarch64-zcu102
1m 6s
x86_64-linux---packages---seL4-test-aarch64-zcu102
x86_64-linux---packages---seL4-test-armv7l-rpi3
1m 1s
x86_64-linux---packages---seL4-test-armv7l-rpi3
x86_64-linux---packages---seL4-test-armv7l-zynq7000
1m 1s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
1m 3s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
x86_64-linux---packages---seL4-test-i686-ia32
55s
x86_64-linux---packages---seL4-test-i686-ia32
x86_64-linux---packages---seL4-test-i686-ia32-simulate
56s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
x86_64-linux---packages---seL4-test-x86_64-x86_64
1m 1s
x86_64-linux---packages---seL4-test-x86_64-x86_64
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
59s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
x86_64-linux---packages---seL4-kernel-aarch64
19s
x86_64-linux---packages---seL4-kernel-aarch64
x86_64-linux---packages---seL4-kernel-arm
18s
x86_64-linux---packages---seL4-kernel-arm
x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5
20s
x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5
x86_64-linux---packages---seL4-kernel-arm-imx8mm
19s
x86_64-linux---packages---seL4-kernel-arm-imx8mm
x86_64-linux---packages---seL4-kernel-arm-mcs
21s
x86_64-linux---packages---seL4-kernel-arm-mcs
x86_64-linux---packages---seL4-kernel-riscv64
19s
x86_64-linux---packages---seL4-kernel-riscv64
x86_64-linux---packages---seL4-kernel-riscv64-mcs
22s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
x86_64-linux---packages---seL4-kernel-x64
18s
x86_64-linux---packages---seL4-kernel-x64
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
1m 35s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
1m 29s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
1m 32s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
1m 47s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
1m 41s
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
x86_64-linux---devShells---default
1m 3s
x86_64-linux---devShells---default
Fit to window
Zoom out
Zoom in