Update pull request workflow for license checks

This commit is contained in:
2025-08-24 15:38:08 +02:00
committed by GitHub
parent 1b7e4ec26a
commit 2da12078e2

View File

@@ -39,7 +39,8 @@ jobs:
- name: Checkout PR branch
if: steps.check_changes.outputs.changes_detected == 'true'
run: |
git checkout ${{ github.head_ref }}
git fetch origin pull/${{ github.event.pull_request.number }}/head:${{ github.event.pull_request.head.ref }}
git checkout ${{ github.event.pull_request.head.ref }}
- name: Commit Changes
if: steps.check_changes.outputs.changes_detected == 'true'
@@ -48,8 +49,7 @@ jobs:
git config --global user.email "actions@github.com"
git add .
git commit -m "Actions: Licenses updated [skip ci]"
git push
git push origin HEAD:${{ github.event.pull_request.head.ref }}
lint:
runs-on: ubuntu-latest