From 3b92b06f5a5f17e2f85ba0abff4a9422cc9abadb Mon Sep 17 00:00:00 2001
From: Jordan Kueh <jkueh@users.noreply.github.com>
Date: Tue, 16 Apr 2024 12:45:42 +0930
Subject: [PATCH] Adding an escape for a failed grep command which may be
 expected

---
 auto/build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/auto/build b/auto/build
index f2d19ed..e20f68f 100755
--- a/auto/build
+++ b/auto/build
@@ -2,7 +2,7 @@
 
 set -eu
 
-GITHUB_VERSION="$(grep '^v' <<< "${GITHUB_REF_NAME}")"
+GITHUB_VERSION="$(grep '^v' <<< "${GITHUB_REF_NAME}" || true)"
 GIT_SHA="$(git rev-parse --verify HEAD)"
 
 function getVersion() {