Final attempt at global flag

model-checking · Jul 8, 2024 · 5a71c36 · 5a71c36
1 parent ddbeb05
commit 5a71c36
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -15,7 +15,7 @@ on:
  - kani-*
 
 env:
- RUST_BACKTRACE: 1
+ ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION: true
 
 jobs:
  build_bundle_macos:
@@ -73,8 +73,6 @@ jobs:
  build_bundle_linux:
  name: BuildBundle-Linux
  runs-on: ubuntu-20.04
- env:
- ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION: true
  outputs:
  # The bundle version (latest or the version to be released)
  version: ${{ steps.bundle.outputs.version }}