From e8bf90e93a1411f215040c59e70c7fc7b31e2028 Mon Sep 17 00:00:00 2001
From: Maik Marschner <leMaik@leMaik.de>
Date: Sun, 29 Oct 2023 02:17:54 +0200
Subject: [PATCH] Fail gh actions if building the docs fails.

---
 build.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.sh b/build.sh
index 1af1052..8391c35 100755
--- a/build.sh
+++ b/build.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
+set -euo pipefail
+
 rm -rf docs
 mkdir docs
 cd ChunkyDocs