ci: fix

neferin12 · Nov 8, 2023 · 3cf9367 · 3cf9367
1 parent cd3edf0
commit 3cf9367
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/arch_pkgs.yml b/.github/workflows/arch_pkgs.yml
@@ -92,7 +92,7 @@ jobs:
           repo-add -p -R pollinger.db.tar.gz *.pkg.tar.zst
       - name: Commit changes
         run: |
-            git config --global --add safe.directory /__w/cvc5-aur/cvc5-aur
+            git config --global --add safe.directory /__w/iSM/iSM
             git add arch
             git config --global user.name 'GitHub Actions [Bot]'
             git config --global user.email 'github-actions[bot]@users.noreply.github.com'