ci: add git safe directory for dunamai

outpost-os · Jul 31, 2024 · da05caa · da05caa
1 parent 404fa50
commit da05caa
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -100,6 +100,7 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
       - name: deploy local deps
         run: |
           pip install --upgrade pip
@@ -159,6 +160,7 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
       - name: deploy local deps
         run: |
           pip install -r requirements.txt
@@ -210,6 +212,7 @@ jobs:
         with:
           fetch-depth: 0
           fetch-tags: true
+          set-safe-directory: true
       - name: deploy local deps
         run: |
           pip install -r requirements.txt

diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
@@ -55,6 +55,8 @@ jobs:
         with:
           ref: ${{ github.ref }}
           fetch-depth: 0
+          set-safe-directory: true
+
       - name: Install local deps
         run: |
           pip3 install -r requirements.txt