From: Eirik Stanghelle Morland <eirik@morland.no>
Date: Mon, 7 Jul 2025 17:26:36 +0000 (+0200)
Subject: Ensure git directory is marked as safe
X-Git-Url: https://git.earman.xyz/?a=commitdiff_plain;h=50dec7f82aa850e26bafd59379f0d65a49354b83;p=sensor-watch.git

Ensure git directory is marked as safe
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1638403..6af4dd1 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,6 +20,8 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
+      - name: Ensure workspace directory is defined as safe
+        run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
       - name: Compile movement firmware
         run: make
         working-directory: '.'
@@ -38,6 +40,8 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: recursive
+      - name: Ensure workspace directory is defined as safe
+        run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
       - name: Compile movement
         run: emmake make
         working-directory: '.'