diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 8c990fb84d..e701800ad8 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -1,7 +1,7 @@
 name: Leo-ACL2
 on: workflow_dispatch
 env:
-  RUST_BACKTRACE: 1
+  RUST_BACKTRACE: 0
 
 # This job can only be run on linux (Ubuntu)
 jobs:
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1e7bbe013f..81e8a883e0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,7 +8,7 @@ on:
         - 'docs/**'
         - 'documentation/**'
 env:
-  RUST_BACKTRACE: 1
+  RUST_BACKTRACE: 0
 
 jobs:
   test-package:
diff --git a/.github/workflows/codecov.yml b/.github/workflows/codecov.yml
index b510b98ffd..b8cef037c9 100644
--- a/.github/workflows/codecov.yml
+++ b/.github/workflows/codecov.yml
@@ -7,7 +7,7 @@ on:
       - 'docs/**'
       - 'documentation/**'
 env:
-  RUST_BACKTRACE: 1
+  RUST_BACKTRACE: 0
 
 jobs:
   codecov:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 6ab036327b..cf241b1f0e 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
 
 env:
-  RUST_BACKTRACE: 1
+  RUST_BACKTRACE: 0
 
 jobs:
   ubuntu: