Skip to content
Nix

fix: update microkit-sdk #83

Sign in to view logs

fix: update microkit-sdk

fix: update microkit-sdk #83

Triggered via pull request June 12, 2024 10:27
@wucke13wucke13
opened #16
dev/update-microkit-skd
Status Success
Total duration 2h 27m 56s
Artifacts –

nix.yaml

on: pull_request
x86_64-linux---packages---pyfdt
25s
x86_64-linux---packages---pyfdt
x86_64-linux---packages---guardonce
28s
x86_64-linux---packages---guardonce
x86_64-linux---packages---concurrencytest
29s
x86_64-linux---packages---concurrencytest
x86_64-linux---packages---microkit-sdk-bin
37s
x86_64-linux---packages---microkit-sdk-bin
x86_64-linux---packages---uboot-aarch64-rpi4
1m 1s
x86_64-linux---packages---uboot-aarch64-rpi4
x86_64-linux---packages---capDL-tool
1m 35s
x86_64-linux---packages---capDL-tool
x86_64-linux---packages---uboot-aarch64-zcu102
1m 24s
x86_64-linux---packages---uboot-aarch64-zcu102
x86_64-linux---packages---uboot-armv7l-zynq-zc702
44m 19s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
x86_64-linux---packages---microkit-sdk
29m 21s
x86_64-linux---packages---microkit-sdk
x86_64-linux---packages---seL4-deps
25s
x86_64-linux---packages---seL4-deps
x86_64-linux---devShells---microkit
41s
x86_64-linux---devShells---microkit
x86_64-linux---packages---sd-aarch64-rpi4
22s
x86_64-linux---packages---sd-aarch64-rpi4
x86_64-linux---packages---camkes-deps
28s
x86_64-linux---packages---camkes-deps
x86_64-linux---packages---seL4-kernel-arm
32s
x86_64-linux---packages---seL4-kernel-arm
x86_64-linux---packages---seL4-kernel-arm-hyp
25m 2s
x86_64-linux---packages---seL4-kernel-arm-hyp
x86_64-linux---packages---seL4-kernel-arm-mcs
25m 12s
x86_64-linux---packages---seL4-kernel-arm-mcs
x86_64-linux---packages---seL4-kernel-riscv64
36s
x86_64-linux---packages---seL4-kernel-riscv64
x86_64-linux---packages---seL4-kernel-riscv64-mcs
33s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
x86_64-linux---packages---seL4-kernel-x64
27m 12s
x86_64-linux---packages---seL4-kernel-x64
x86_64-linux---packages---seL4-moritz-fork-arm
39s
x86_64-linux---packages---seL4-moritz-fork-arm
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
24m 57s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
25m 18s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
x86_64-linux---packages---seL4-moritz-fork-x64
28m 5s
x86_64-linux---packages---seL4-moritz-fork-x64
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
29m 14s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
29m 34s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
29m 15s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
29m 32s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
30m 11s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
x86_64-linux---packages---seL4-test-aarch64-zcu102
29m 9s
x86_64-linux---packages---seL4-test-aarch64-zcu102
x86_64-linux---packages---seL4-test-armv7l-rpi3
28m 46s
x86_64-linux---packages---seL4-test-armv7l-rpi3
x86_64-linux---packages---seL4-test-armv7l-zynq7000
29m 19s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
29m 0s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
x86_64-linux---packages---seL4-test-i686-ia32
31m 15s
x86_64-linux---packages---seL4-test-i686-ia32
x86_64-linux---packages---seL4-test-i686-ia32-simulate
30m 30s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
x86_64-linux---packages---seL4-test-x86_64-x86_64
27m 13s
x86_64-linux---packages---seL4-test-x86_64-x86_64
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
15m 27s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
x86_64-linux---checks---treefmt
1m 13s
x86_64-linux---checks---treefmt
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
1h 51m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
1h 53m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
1h 53m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
1h 54m
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
1h 58m
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
x86_64-linux---devShells---default
1m 6s
x86_64-linux---devShells---default
Check on x86_64-linux
1m 41s
Check on x86_64-linux
Fit to window
Zoom out
Zoom in