ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

Remove RUST_BACKTRACE from CI

Browse Source
This commit is contained in:
evan-schott 2024-04-16 11:55:10 -07:00
parent d8216a4d6e
commit 32aedaba45
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/acl2.yml vendored
View File

@ -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:

2
.github/workflows/ci.yml vendored
View File

@ -8,7 +8,7 @@ on:
- 'docs/**'
- 'documentation/**'
env:
RUST_BACKTRACE: 1
RUST_BACKTRACE: 0
jobs:
test-package:

2
.github/workflows/codecov.yml vendored
View File

@ -7,7 +7,7 @@ on:
- 'docs/**'
- 'documentation/**'
env:
RUST_BACKTRACE: 1
RUST_BACKTRACE: 0
jobs:
codecov:

2
.github/workflows/release.yml vendored
View File

@ -6,7 +6,7 @@ on:
workflow_dispatch:
env:
RUST_BACKTRACE: 1
RUST_BACKTRACE: 0
jobs:
ubuntu: