set -e

sphinx-notes · Dec 5, 2020 · 153e20f · 153e20f
1 parent a851196
commit 153e20f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/main.sh b/main.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # set -x
-# set -e
+set -e
 
 repo_dir=$GITHUB_WORKSPACE/$INPUT_REPOSITORY_PATH
 doc_dir=$repo_dir/$INPUT_DOCUMENTATION_PATH