From 5b2839eefaf5a452bd6f848b607069581681c2d4 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 3 May 2023 19:04:33 +0200
Subject: [PATCH] Pipefail

---
 run/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/run.sh b/run/run.sh
index 8f1b39a..c669d99 100755
--- a/run/run.sh
+++ b/run/run.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -eu
+set -Eeuo pipefail
 
 # Docker environment variables