Added fail on exit

AntoniosBarotsis · Sep 24, 2022 · db03089 · db03089
1 parent 8fefdf6
commit db03089
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/generate_docs.sh b/.github/generate_docs.sh
@@ -1,6 +1,9 @@
 #!/bin/env bash
 # Generates documentation files to docs/ from published compilations in publish/
 
+# Exits on error
+set -e
+
 # list of all projects
 declare -a projs=(
   "Abstractions"