From dba3bb9e78682727e1efec4992b0dc65c1228d8c Mon Sep 17 00:00:00 2001
From: Andrew Berezovskyi <andriib@kth.se>
Date: Mon, 1 Jan 2024 20:10:43 +0100
Subject: [PATCH] ci: fail script if mvn fails

Signed-off-by: Andrew Berezovskyi <andriib@kth.se>
---
 scripts/run-suite.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/run-suite.sh b/scripts/run-suite.sh
index 7d07bfa..f2b279b 100755
--- a/scripts/run-suite.sh
+++ b/scripts/run-suite.sh
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -euo pipefail
 
 # Get the parent directory of the current file
 SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"