Revert "Merge pull request #1 from xc112lg/patch-1"

This reverts commit 17e7f7d, reversing changes made to 66e10d6.
sounddrill31 · Feb 15, 2024 · 5cdccd2 · 5cdccd2
1 parent 6653c98
commit 5cdccd2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -115,7 +115,7 @@ jobs:
         ${{ github.event.inputs.BUILD_DIFFERENT_ROM }} ; \
         git clone ${{ github.event.inputs.LOCAL_MANIFEST }} --depth 1 -b ${{ github.event.inputs.LOCAL_MANIFEST_BRANCH }} .repo/local_manifests && \
         # Sync the repositories
-        repo sync -c -j$(nproc --all) --no-clone-bundle --no-tags --optimized-fetch --prune --force-sync --no-interactive  && \ 
+        repo sync -c -j$(nproc --all) --no-clone-bundle --no-tags --optimized-fetch --prune --force-sync  && \ 
         # Set up build environment
         export BUILD_HOSTNAME=crave ; \
         export BUILD_USERNAME=sounddrill31 ; \