ci: fetch correct git commit for pull requests

openiked · Sep 4, 2023 · 16f455d · 16f455d
1 parent 7211dd3
commit 16f455d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -107,6 +107,7 @@ jobs:
     - name: Build
       run: |
         git clone https://github.com/openiked/openiked-portable.git
+	[ "${{ github.event.pull_request.number }}" = "" ] || (echo "fetching PR ${{ github.event.pull_request.number }}"; git fetch origin pull/${{ github.event.pull_request.number }}/head:pr-${{ github.event.pull_request.number }} && git checkout "pr-${{ github.event.pull_request.number }}")
         cd openiked-portable
         mkdir build; cd build
         cmake .. -DCMAKE_BUILD_TYPE=$BUILD_TYPE
@@ -128,6 +129,7 @@ jobs:
     - name: Build
       run: |
         git clone https://github.com/openiked/openiked-portable.git
+	[ "${{ github.event.pull_request.number }}" = "" ] || (echo "fetching PR ${{ github.event.pull_request.number }}"; git fetch origin pull/${{ github.event.pull_request.number }}/head:pr-${{ github.event.pull_request.number }} && git checkout "pr-${{ github.event.pull_request.number }}")
         cd openiked-portable
         mkdir build; cd build
         cmake .. -DCMAKE_BUILD_TYPE=$BUILD_TYPE
@@ -146,6 +148,7 @@ jobs:
     - name: Build
       run: |
         git clone https://github.com/openiked/openiked-portable.git
+	[ "${{ github.event.pull_request.number }}" = "" ] || (echo "fetching PR ${{ github.event.pull_request.number }}"; git fetch origin pull/${{ github.event.pull_request.number }}/head:pr-${{ github.event.pull_request.number }} && git checkout "pr-${{ github.event.pull_request.number }}")
         cd openiked-portable
         mkdir build; cd build
         cmake .. -DCMAKE_BUILD_TYPE=$BUILD_TYPE