diff --git a/.github/workflows/ci_lin.yml b/.github/workflows/ci_lin.yml index 506eb1f9702a..42c4296571d6 100644 --- a/.github/workflows/ci_lin.yml +++ b/.github/workflows/ci_lin.yml @@ -20,7 +20,7 @@ jobs: steps: - name: 'PR commits + 1' run: echo "PR_FETCH_DEPTH=$(( ${{ github.event.pull_request.commits }} + 1 ))" >> "${GITHUB_ENV}" - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: ref: ${{ github.event.pull_request.head.sha }} persist-credentials: false