checks.x86_64-linux.systemd-boot-edk2-uefi-shell log

succeeded `checks.x86_64-linux.systemd-boot-edk2-uefi-shell` build #34 · raw · eval 9.1 s · 641.9 MiB allocated · ‹ #33 · #35 ›

15 built

setup built · 0.0s · open ↗ · raw ↗

test-script built · 2.3s · open ↗ · raw ↗

edk2-uefi-shell.conf built · 3.9s · open ↗ · raw ↗

copy-extra-files built · 11.3s · open ↗ · raw ↗

systemd-boot built · 10.3s · open ↗ · raw ↗

install-systemd-boot.sh built · 11.9s · open ↗ · raw ↗

nixos-system-machine-test built · 7.6s · open ↗ · raw ↗

closure-info built · 5.7s · open ↗ · raw ↗

machine-esp-tree built · 7.2s · open ↗ · raw ↗

machine-esp-image built · 8.5s · open ↗ · raw ↗

run-nixos-vm built · 5.8s · open ↗ · raw ↗

nixos-vm built · 8.0s · open ↗ · raw ↗

driverConfiguration.json built · 6.4s · open ↗ · raw ↗

nixos-test-driver-systemd-boot-edk2-uefi-shell built · 3.5s · open ↗ · raw ↗

vm-test-run-systemd-boot-edk2-uefi-shell built · 26.0s · open ↗ · raw ↗