]> git.earman.xyz Git - sensor-watch.git/commitdiff
Ensure git directory is marked as safe
authorEirik Stanghelle Morland <eirik@morland.no>
Mon, 7 Jul 2025 17:26:36 +0000 (19:26 +0200)
committerJoey Castillo <joeycastillo@utexas.edu>
Mon, 7 Jul 2025 23:16:52 +0000 (19:16 -0400)
.github/workflows/build.yml

index 163840340425a60d9bba541b5a47aa3f960d1f9e..6af4dd171493b86aa47fb5942cae99f51d9c2e1a 100644 (file)
@@ -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: '.'