Try to fix release script

hustcer · Jan 8, 2025 · e2d6591 · e2d6591
1 parent 7e665fe
commit e2d6591
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/Justfile b/Justfile
@@ -40,9 +40,7 @@ default:
 
 # Release a new version for `setup-moonbit`
 release *OPTIONS:
-  @overlay use {{ join(SETUP_MOONBIT_PATH, 'nu', 'common.nu') }}; \
-    overlay use {{ join(SETUP_MOONBIT_PATH, 'nu', 'release.nu') }}; \
-    git-check --check-repo=1 {{SETUP_MOONBIT_PATH}}; \
+  @overlay overlay use {{ join(SETUP_MOONBIT_PATH, 'nu', 'release.nu') }}; \
     make-release {{OPTIONS}}
 
 # Fetch official install scripts