fix: add exit on cmd failure to deploy_doc script

ncoop57 · ncoop57 · commit d0d7ee4a0820 · 2025-05-21T13:52:58.000-05:00
diff --git a/scripts/deploy_docs.sh b/scripts/deploy_docs.sh
@@ -1,4 +1,6 @@
 #!/usr/bin/env bash
+set -e
+
 rm -rf _proc _docs
 rm -rf docs_site/_docs
 nbdev_docs
