andr3/zls
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pull_request -> pull_request_target all over (#935)

Browse Source
This commit is contained in:
Auguste Rame 2023-01-22 15:27:17 -05:00 committed by GitHub
parent 3a86687ae7
commit 8e98bd439b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/workflows/fuzz.yml vendored
View File

@ -27,7 +27,7 @@ permissions: read-all
jobs: jobs:
fuzz: fuzz:
if: github.event_name != 'pull_request' || contains(github.event.pull_request.labels.*.name, 'pr:fuzz') if: 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:
@ -37,12 +37,12 @@ jobs:
swap-size-gb: 10 swap-size-gb: 10
- name: Default fuzzing duration - name: Default fuzzing duration
if: github.event_name != 'pull_request' if: github.event_name != 'pull_request_target'
run: | run: |
echo "FUZZING_DURATION=${{ github.event.inputs.fuzzing_duration }}" >> $GITHUB_ENV echo "FUZZING_DURATION=${{ github.event.inputs.fuzzing_duration }}" >> $GITHUB_ENV
- name: PR fuzzing duration - name: PR fuzzing duration
if: github.event_name == 'pull_request' if: github.event_name == 'pull_request_target'
run: | run: |
echo "FUZZING_DURATION=15m" >> $GITHUB_ENV echo "FUZZING_DURATION=15m" >> $GITHUB_ENV