fix: Remove UEFI booting armhf

short-term fix, as grub2 for armhf has issues. we are investigating if
we still need an armhf VM, as there is no armhf server hardware
available.
ubuntu-core-desktop-noble
John Chittum 10 months ago
parent a580abfcff
commit 4f51ff4521
No known key found for this signature in database
GPG Key ID: 475060D72BBF8501

@ -1,7 +1,7 @@
#!/bin/bash -eux
case $ARCH in
amd64|arm64|armhf|riscv64)
amd64|arm64|riscv64)
;;
*)
echo "We don't create EFI images for $ARCH."

Loading…
Cancel
Save