Add set -e to ensure that CI breaks if scripts break

jaisnan · Jul 31, 2024 · 9011191 · 9011191
1 parent 8935fad
commit 9011191
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/scripts/check_kani.sh b/scripts/check_kani.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 # Set the working directories
 VERIFY_RUST_STD_DIR="$1"
 KANI_DIR=$(mktemp -d)

diff --git a/scripts/check_rustc.sh b/scripts/check_rustc.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 # Set the working directory for your local repository
 HEAD_DIR=$1