fetch-depth 0

KeYProject · Jan 22, 2025 · 0e32aee · 0e32aee
1 parent 203fb43
commit 0e32aee
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml
@@ -40,7 +40,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - run: "git remote -v"
+        with:
+          fetch-depth: 0
+          ref: ${{ github.event.pull_request.head.sha }}
       - run: "git diff --name-only origin/main"
       - uses: actions/setup-java@v4
         with: