From 32aedaba457a80aa4c8d8b2d38d196649e88c416 Mon Sep 17 00:00:00 2001
From: evan-schott <53463459+evan-schott@users.noreply.github.com>
Date: Tue, 16 Apr 2024 11:55:10 -0700
Subject: [PATCH] Remove RUST_BACKTRACE from CI

---
 .github/workflows/acl2.yml    | 2 +-
 .github/workflows/ci.yml      | 2 +-
 .github/workflows/codecov.yml | 2 +-
 .github/workflows/release.yml | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

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: