From c9c761f5e0cfca3a604a6f210b82bc1d49314f34 Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Tue, 30 Apr 2024 23:40:34 +0200
Subject: [PATCH] build: fix: don't ignore kernel push failures

Signed-off-by: Ricardo Pardini <ricardo@pardini.net>
---
 bash/kernel.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bash/kernel.sh b/bash/kernel.sh
index 726391eb..ae35ecab 100644
--- a/bash/kernel.sh
+++ b/bash/kernel.sh
@@ -36,7 +36,7 @@ function kernel_build() {
 	# Push it to the OCI registry
 	if [[ "${DO_PUSH:-"no"}" == "yes" ]]; then
 		log info "Kernel built; pushing to ${kernel_oci_image}"
-		docker push "${kernel_oci_image}" || true
+		docker push "${kernel_oci_image}"
 	else
 		log info "DO_PUSH not 'yes', not pushing."
 	fi