fix workspace ownership

This commit is contained in:
Kevin Pfeifer 2024-05-15 19:48:10 +00:00
parent a7cbefc5e6
commit 079440d0a0
1 changed files with 9 additions and 0 deletions

View File

@ -64,6 +64,15 @@ jobs:
RUNNER_OS: ${{ runner.os }}
FLAGS: ${{ matrix.platform.flags }}
run: ./SDL3-CS/build.sh
- name: Get Actions user id
id: get_uid
run: echo "uid=$(id -u $USER)" >> $GITHUB_OUTPUT
- name: Correct Ownership in GITHUB_WORKSPACE directory
uses: peter-murray/reset-workspace-ownership-action@v1
with:
user_id: ${{ steps.get_uid.outputs.uid }}
- name: Create pull request
uses: peter-evans/create-pull-request@v6