diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7e4c6b8f62..9b2bb0794c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -26,7 +26,7 @@ jobs: test-pr-merge: name: 'test pull request (merge commit)' runs-on: ubuntu-22.04 - if: github.event_name == 'pull_request' # && github.event.pull_request.commits != 1 + # if: github.event_name == 'pull_request' # && github.event.pull_request.commits != 1 timeout-minutes: 360 # Use maximum time, see https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idtimeout-minutes. Assuming a worst case time of 1 hour per commit, this leads to a --max-count=6 below. # env: # MAX_COUNT: 6 @@ -34,8 +34,8 @@ jobs: # - name: Determine fetch depth # run: echo "FETCH_DEPTH=$((${{ github.event.pull_request.commits }} + 2))" >> "$GITHUB_ENV" - uses: actions/checkout@v4 - with: - ref: ${{ github.event.pull_request.head.sha }} + # with: + # ref: ${{ github.event.pull_request.head.sha }} # fetch-depth: ${{ env.FETCH_DEPTH }} # - name: Determine commit range # run: |