mirror of
https://github.com/SerenityOS/serenity
synced 2024-07-21 18:15:58 +00:00
CI: Check out PR merge branch instead of source
This commit is contained in:
parent
b667cd69ca
commit
f652c75f34
10
.github/workflows/cmake.yml
vendored
10
.github/workflows/cmake.yml
vendored
|
@ -31,7 +31,17 @@ jobs:
|
|||
arch: 'x86_64'
|
||||
|
||||
steps:
|
||||
# Pull requests can trail behind `master` and can cause breakage if merging before running the CI checks on an updated branch.
|
||||
# Luckily, GitHub creates and maintains a merge branch that is updated whenever the target or source branch is modified. By
|
||||
# checking this branch out, we gain a stabler `master` at the cost of reproducibility.
|
||||
- uses: actions/checkout@v3
|
||||
if: ${{ github.event_name != 'pull_request' }}
|
||||
|
||||
- uses: actions/checkout@v3
|
||||
if: ${{ github.event_name == 'pull_request' }}
|
||||
with:
|
||||
ref: refs/pull/${{ github.event.pull_request.number }}/merge
|
||||
|
||||
# Set default Python to python 3.x, and set Python path such that pip install works properly
|
||||
- uses: actions/setup-python@v4
|
||||
with:
|
||||
|
|
Loading…
Reference in a new issue