From 0d3b93908a9519cdb188d2fccdef105e56c0d867 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 3 May 2023 19:01:08 +0200
Subject: [PATCH] Pipefail

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

diff --git a/run/serial.sh b/run/serial.sh
index c03ed61..8766875 100644
--- a/run/serial.sh
+++ b/run/serial.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -eu
+set -Eeuo pipefail
 
 # Docker environment variables