Update push for git permissions
https://github.com/actions/checkout/issues/760
This commit is contained in:
6
.github/workflows/push.yml
vendored
6
.github/workflows/push.yml
vendored
@@ -23,6 +23,9 @@ jobs:
|
||||
with:
|
||||
submodules: true
|
||||
|
||||
- name: Git ownership exception
|
||||
run: git config --global --add safe.directory /__w/IronOS/IronOS && git config --global safe.directory "$GITHUB_WORKSPACE"
|
||||
|
||||
- name: build ${{ matrix.model }}
|
||||
run: cd source && ./build.sh -m ${{ matrix.model }}
|
||||
|
||||
@@ -70,6 +73,9 @@ jobs:
|
||||
with:
|
||||
submodules: true
|
||||
|
||||
- name: Git ownership exception
|
||||
run: git config --global --add safe.directory /__w/IronOS/IronOS && git config --global safe.directory "$GITHUB_WORKSPACE"
|
||||
|
||||
- name: build ${{ matrix.model }}
|
||||
run: cd source && make -j$(nproc) model="${{ matrix.model }}" firmware-multi_compressed_European firmware-multi_compressed_Bulgarian+Russian+Serbian+Ukrainian firmware-multi_Chinese+Japanese
|
||||
|
||||
|
||||
Reference in New Issue
Block a user