exit the CI if build fails.

GaloisInc · Jan 29, 2025 · b236dfe · b236dfe
1 parent e2269c6
commit b236dfe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/run_benchmarks.sh b/examples/run_benchmarks.sh
@@ -66,7 +66,7 @@ for i in "${!test_directories[@]}"; do
 
   # Build the benchmark
   echo "Building $file"
-  cargo build --release -p "$file"
+  cargo build --release -p "$file" || exit 1 # Exit if build fails
 
   echo "Running $file"
   # Use `time` to measure execution time and memory.