From 64ea7f1aa8eab2652ee68e7d26b8c328c306158b Mon Sep 17 00:00:00 2001
From: fzyzcjy <5236035+fzyzcjy@users.noreply.github.com>
Date: Mon, 23 Jan 2023 16:06:34 +0800
Subject: [PATCH 1/3] Update setup.sh

---
 scripts/setup.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/setup.sh b/scripts/setup.sh
index 53280b8..3954971 100644
--- a/scripts/setup.sh
+++ b/scripts/setup.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root
 

From 9dc42382a2a8d8a3e475cf27bae1f85f3fd60a54 Mon Sep 17 00:00:00 2001
From: fzyzcjy <5236035+fzyzcjy@users.noreply.github.com>
Date: Mon, 23 Jan 2023 16:07:47 +0800
Subject: [PATCH 2/3] Update setup_mathlib.sh

---
 scripts/setup_mathlib.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/setup_mathlib.sh b/scripts/setup_mathlib.sh
index 5ce830f..675c8b7 100644
--- a/scripts/setup_mathlib.sh
+++ b/scripts/setup_mathlib.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root
 

From e7a474ba8cb75d485df743938258d36e958afa2e Mon Sep 17 00:00:00 2001
From: fzyzcjy <5236035+fzyzcjy@users.noreply.github.com>
Date: Mon, 23 Jan 2023 16:07:54 +0800
Subject: [PATCH 3/3] Update setup_miniF2F.sh

---
 scripts/setup_miniF2F.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/setup_miniF2F.sh b/scripts/setup_miniF2F.sh
index 4dae135..da0dcf9 100644
--- a/scripts/setup_miniF2F.sh
+++ b/scripts/setup_miniF2F.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -euxo pipefail
 
 # run from project root