Merge branch 'main' into modifies_fat

model-checking · Jul 8, 2024 · 3883281 · 3883281
2 parents 1e336d3 + 107daa7
commit 3883281
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -16,6 +16,7 @@ on:
 
 env:
  RUST_BACKTRACE: 1
+ ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION: true
 
 jobs:
  build_bundle_macos: