Properly refer to external repositories instead of lumping everything into zls (#936)
This commit is contained in:
parent
0e53ac1328
commit
ed9cf06d5f
4
.github/workflows/fuzz.yml
vendored
4
.github/workflows/fuzz.yml
vendored
@ -27,7 +27,7 @@ permissions: read-all
|
|||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
fuzz:
|
fuzz:
|
||||||
if: github.event_name != 'pull_request_target' || contains(github.event.pull_request.labels.*.name, 'pr:fuzz')
|
if: github.repository_owner == 'zigtools' && (github.event_name != 'pull_request_target' || contains(github.event.pull_request.labels.*.name, 'pr:fuzz'))
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
|
||||||
steps:
|
steps:
|
||||||
@ -109,7 +109,7 @@ jobs:
|
|||||||
space_name: fuzzing-output
|
space_name: fuzzing-output
|
||||||
space_region: nyc3
|
space_region: nyc3
|
||||||
source: sus/saved_logs/
|
source: sus/saved_logs/
|
||||||
out_dir: ${{ github.repository_owner }}/${{ github.event.repository.name }}/${{ github.head_ref || github.ref_name }}/${{ github.sha }}
|
out_dir: ${{ github.event.pull_request.head.repo.full_name || github.repository }}/${{ github.head_ref || github.ref_name }}/${{ github.event.pull_request.head.sha || github.sha }}
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user