Remove RUST_BACKTRACE from CI

ProvableHQ · Apr 16, 2024 · 32aedab · 32aedab
1 parent d8216a4
commit 32aedab
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -6,7 +6,7 @@ on:
   workflow_dispatch:
 
 env:
-  RUST_BACKTRACE: 1
+  RUST_BACKTRACE: 0
 
 jobs:
   ubuntu:
-Original file line number
+Diff line change
@@ Expand Up / @@ -6,7 +6,7 @@ on: @@
       workflow_dispatch:
     env:
-      RUST_BACKTRACE: 1
+      RUST_BACKTRACE: 0
     jobs:
       ubuntu:
@@ Expand Down @@