upgade to new microkit-sdk, remove microkit-sdk-bin #115
Triggered via pull request
August 14, 2024 11:48
wucke13
Status
Failure
Total duration
1h 59m 57s
Artifacts
–
nix.yaml
on: pull_request
x86_64-linux---packages---pyfdt
27s
x86_64-linux---packages---guardonce
27s
x86_64-linux---packages---concurrencytest
27s
x86_64-linux---packages---capDL-tool
1m 41s
x86_64-linux---packages---microkit-sdk-bin
13s
x86_64-linux---packages---uboot-aarch64-rpi4
1m 8s
x86_64-linux---packages---crossStdenvAarch64OldBintools
1h 56m
x86_64-linux---packages---crossStdenvArmv7lOldBintools
1h 57m
x86_64-linux---packages---crossStdenvAarch64
28s
x86_64-linux---packages---crossStdenvArmv7l
28s
x86_64-linux---packages---crossStdenvi686
27s
x86_64-linux---packages---crossStdenvx86_64
29s
x86_64-linux---packages---atf-aarch64-zcu102
40s
x86_64-linux---packages---pmufw-mblaze-zcu102
23m 18s
x86_64-linux---packages---uboot-aarch64-zcu102
33s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
32s
x86_64-linux---packages---microkit-sdk
5m 51s
x86_64-linux---devShells---microkit
0s
x86_64-linux---packages---sd-aarch64-rpi4
24s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
1m 0s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
57s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
57s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
58s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
58s
x86_64-linux---packages---seL4-test-aarch64-zcu102
56s
x86_64-linux---packages---seL4-test-armv7l-rpi3
1m 0s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
57s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
56s
x86_64-linux---packages---seL4-test-i686-ia32
56s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
55s
x86_64-linux---packages---seL4-test-x86_64-x86_64
59s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
56s
x86_64-linux---packages---seL4-kernel-arm
38s
x86_64-linux---packages---seL4-kernel-arm-hyp
44s
x86_64-linux---packages---seL4-kernel-arm-mcs
43s
x86_64-linux---packages---seL4-kernel-riscv64
38s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
37s
x86_64-linux---packages---seL4-kernel-x64
40s
x86_64-linux---packages---seL4-moritz-fork-arm
41s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
45s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
47s
x86_64-linux---packages---seL4-moritz-fork-x64
42s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
41s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
39s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
37s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
58s
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
1m 47s
x86_64-linux---devShells---default
1m 9s
Check on x86_64-linux
1m 31s
Annotations
16 errors