diff --git a/setup.sh b/setup.sh
index ae0fd0cacaf8f118a9a5550a7a7ec3783d49fa95..c4ff22812dff16699b7ca9a88fc56e92ab961136 100755
--- a/setup.sh
+++ b/setup.sh
@@ -15,6 +15,9 @@
 
 set -e
 
+# Ensure the script doesn't fail on Github workflows
+TERM=${TERM:-vt100}
+
 # Check that rustup and pip3 are installed
 check_command () {
   if ! which "$1" >/dev/null