Ensure git directory is marked as safe

This commit is contained in:
Eirik Stanghelle Morland 2025-07-07 19:26:36 +02:00 committed by Joey Castillo
parent 3b7603a0ed
commit 50dec7f82a

View 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: '.'