Skip to content
Nix

feat: add proofs as package #132

Sign in to view logs

feat: add proofs as package

feat: add proofs as package #132

Triggered via pull request October 14, 2024 21:56
@wucke13wucke13
synchronize #29
dev/be-sure
Status Failure
Total duration 2m 57s
Artifacts –

nix.yaml

on: pull_request
x86_64-linux---packages---pyfdt
21s
x86_64-linux---packages---pyfdt
x86_64-linux---packages---guardonce
22s
x86_64-linux---packages---guardonce
x86_64-linux---packages---concurrencytest
22s
x86_64-linux---packages---concurrencytest
x86_64-linux---packages---capDL-tool
19s
x86_64-linux---packages---capDL-tool
x86_64-linux---checks---formatting
27s
x86_64-linux---checks---formatting
x86_64-linux---packages---uboot-aarch64-rpi4
21s
x86_64-linux---packages---uboot-aarch64-rpi4
x86_64-linux---packages---crossStdenvAarch64OldBintools
29s
x86_64-linux---packages---crossStdenvAarch64OldBintools
x86_64-linux---packages---crossStdenvArmv7lOldBintools
23s
x86_64-linux---packages---crossStdenvArmv7lOldBintools
x86_64-linux---packages---crossStdenvAarch64
22s
x86_64-linux---packages---crossStdenvAarch64
x86_64-linux---packages---crossStdenvArmv7l
23s
x86_64-linux---packages---crossStdenvArmv7l
x86_64-linux---packages---crossStdenvi686
20s
x86_64-linux---packages---crossStdenvi686
x86_64-linux---packages---crossStdenvx86_64
28s
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---l4v
1m 23s
x86_64-linux---packages---l4v
x86_64-linux---packages---pmufw-mblaze-zcu102
21s
x86_64-linux---packages---pmufw-mblaze-zcu102
x86_64-linux---packages---uboot-aarch64-zcu102
21s
x86_64-linux---packages---uboot-aarch64-zcu102
x86_64-linux---packages---uboot-armv7l-zynq-zc702
21s
x86_64-linux---packages---uboot-armv7l-zynq-zc702
x86_64-linux---packages---microkit-sdk
34s
x86_64-linux---packages---microkit-sdk
x86_64-linux---packages---seL4-deps
29s
x86_64-linux---packages---seL4-deps
Check on x86_64-linux
50s
Check on x86_64-linux
x86_64-linux---packages---sd-aarch64-rpi4
21s
x86_64-linux---packages---sd-aarch64-rpi4
x86_64-linux---devShells---microkit
52s
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
26s
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
27s
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
27s
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
27s
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
28s
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB
x86_64-linux---packages---seL4-test-aarch64-zcu102
25s
x86_64-linux---packages---seL4-test-aarch64-zcu102
x86_64-linux---packages---seL4-test-armv7l-rpi3
29s
x86_64-linux---packages---seL4-test-armv7l-rpi3
x86_64-linux---packages---seL4-test-armv7l-zynq7000
25s
x86_64-linux---packages---seL4-test-armv7l-zynq7000
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
25s
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate
x86_64-linux---packages---seL4-test-i686-ia32
22s
x86_64-linux---packages---seL4-test-i686-ia32
x86_64-linux---packages---seL4-test-i686-ia32-simulate
27s
x86_64-linux---packages---seL4-test-i686-ia32-simulate
x86_64-linux---packages---seL4-test-x86_64-x86_64
24s
x86_64-linux---packages---seL4-test-x86_64-x86_64
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
29s
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate
x86_64-linux---packages---seL4-kernel-arm
24s
x86_64-linux---packages---seL4-kernel-arm
x86_64-linux---packages---seL4-kernel-arm-hyp
23s
x86_64-linux---packages---seL4-kernel-arm-hyp
x86_64-linux---packages---seL4-kernel-arm-mcs
24s
x86_64-linux---packages---seL4-kernel-arm-mcs
x86_64-linux---packages---seL4-kernel-riscv64
25s
x86_64-linux---packages---seL4-kernel-riscv64
x86_64-linux---packages---seL4-kernel-riscv64-mcs
24s
x86_64-linux---packages---seL4-kernel-riscv64-mcs
x86_64-linux---packages---seL4-kernel-x64
23s
x86_64-linux---packages---seL4-kernel-x64
x86_64-linux---packages---seL4-moritz-fork-arm
25s
x86_64-linux---packages---seL4-moritz-fork-arm
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
24s
x86_64-linux---packages---seL4-moritz-fork-arm-hyp
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
26s
x86_64-linux---packages---seL4-moritz-fork-arm-mcs
x86_64-linux---packages---seL4-moritz-fork-x64
28s
x86_64-linux---packages---seL4-moritz-fork-x64
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
28s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
32s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
27s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
43s
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
28s
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422
x86_64-linux---devShells---default
1m 4s
x86_64-linux---devShells---default
Fit to window
Zoom out
Zoom in

Annotations

1 error
x86_64-linux---packages---l4v
Process completed with exit code 1.