From 0c77fca97c6ee5d601c63d73118861d51bc50c5b Mon Sep 17 00:00:00 2001
From: Lukas Puehringer <lukas.puehringer@nyu.edu>
Date: Mon, 29 Apr 2024 13:20:22 +0200
Subject: [PATCH] Ignore exit code from vault

Signed-off-by: Lukas Puehringer <lukas.puehringer@nyu.edu>
---
 tests/scripts/init-vault.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/tests/scripts/init-vault.sh b/tests/scripts/init-vault.sh
index f6fc1cd6..27330c65 100644
--- a/tests/scripts/init-vault.sh
+++ b/tests/scripts/init-vault.sh
@@ -1,6 +1,8 @@
 #!/usr/bin/env bash
 
-vault server -dev -dev-root-token-id="${VAULT_TOKEN}" &
+# Start vault in background.  `|| true` eats the non-zero exit code, when the
+# background process is killed, so that it does not fail the Github Action.
+{ vault server -dev -dev-root-token-id="${VAULT_TOKEN}" & } || true
 
 until vault status
 do