Merge pull request #25 from chipsalliance/flag-fix

Ops: Actually exit early if there is an error
chipsalliance · Mar 22, 2023 · e765819 · e765819
2 parents 7222528 + 53d030a
commit e765819
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-set -x
+set -e
 
 event_file=event.json
 diff_cmd="git diff FECH_HEAD"