Use merge commit for fuzzing (#980)

This commit is contained in:
Auguste Rame 2023-02-06 03:19:32 -05:00 committed by GitHub
parent 62068ae828
commit 69a1cae606
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -61,14 +61,22 @@ jobs:
repository: "ziglang/zig" repository: "ziglang/zig"
fetch-depth: 0 fetch-depth: 0
- name: Checkout zls - name: Checkout zls (non-PR)
if: github.event_name != 'pull_request_target'
uses: actions/checkout@v3 uses: actions/checkout@v3
with: with:
path: zls path: zls
fetch-depth: 0 fetch-depth: 0
submodules: true 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 - name: Build zls
run: | run: |