From 69a1cae6065654888a7f00cccbfae981dd168557 Mon Sep 17 00:00:00 2001 From: Auguste Rame <19855629+SuperAuguste@users.noreply.github.com> Date: Mon, 6 Feb 2023 03:19:32 -0500 Subject: [PATCH] Use merge commit for fuzzing (#980) --- .github/workflows/fuzz.yml | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index 190e212..29666f5 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -61,14 +61,22 @@ jobs: repository: "ziglang/zig" fetch-depth: 0 - - name: Checkout zls + - name: Checkout zls (non-PR) + if: github.event_name != 'pull_request_target' uses: actions/checkout@v3 with: path: zls fetch-depth: 0 submodules: true - ref: ${{ github.event.pull_request.head.sha || github.sha }} - repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }} + + - name: Checkout zls (PR) + if: github.event_name == 'pull_request_target' + uses: actions/checkout@v3 + with: + path: zls + fetch-depth: 0 + submodules: true + ref: "refs/pull/${{ github.event.number }}/merge" - name: Build zls run: |