Changeset 7a07425 in mod_gnutls


Ignore:
Timestamp:
Oct 12, 2020, 2:47:35 PM (10 months ago)
Author:
Fiona Klute <fiona.klute@…>
Branches:
asyncio, master
Children:
09c998a
Parents:
305ea31
Message:

Checkout source branch HEAD for analysis on pull requests

By default pull request events run on a temporary merge with the
target branch. For code analysis we don't want to see any issues that
may have been introduced on the target branch in the meanwhile,
though, those should be caught and handled there.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • .github/workflows/analysis.yaml

    r305ea31 r7a07425  
    2121    steps:
    2222      - uses: actions/checkout@v2
     23        with:
     24          fetch-depth: 2
     25      # For pull requests get the head of the branch, instead of a
     26      # temporary merge
     27      - run: git checkout HEAD^2
     28        if: ${{ github.event_name == 'pull_request' }}
    2329      - name: install dependencies
    2430        run: |
     
    5965    steps:
    6066      - uses: actions/checkout@v2
     67        with:
     68          fetch-depth: 2
     69      - run: git checkout HEAD^2
     70        if: ${{ github.event_name == 'pull_request' }}
    6171      - name: install dependencies
    6272        run: |
     
    94104        with:
    95105          fetch-depth: 2
    96       # For pull requests get the head of the branch, instead of a
    97       # temporary merge
    98106      - run: git checkout HEAD^2
    99107        if: ${{ github.event_name == 'pull_request' }}
Note: See TracChangeset for help on using the changeset viewer.