Skip to content

Commit 6ead115

Browse files
Update github_actions.md
1 parent e647b6c commit 6ead115

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

docs/running-clusterfuzzlite/github_actions.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,7 @@ jobs:
8989
fuzz-seconds: 600
9090
mode: 'code-change'
9191
sanitizer: ${{ matrix.sanitizer }}
92+
output-sarif: true
9293
# Optional but recommended: used to download the corpus produced by
9394
# batch fuzzing.
9495
# See later section on "Git repo for storage".
@@ -156,6 +157,7 @@ jobs:
156157
fuzz-seconds: 3600
157158
mode: 'batch'
158159
sanitizer: ${{ matrix.sanitizer }}
160+
output-sarif: true
159161
# Optional but recommended: For storing certain artifacts from fuzzing.
160162
# See later section on "Git repo for storage".
161163
# storage-repo: https://${{ secrets.PERSONAL_ACCESS_TOKEN }}@github.com/OWNER/STORAGE-REPO-NAME.git
@@ -271,6 +273,7 @@ jobs:
271273
github-token: ${{ secrets.GITHUB_TOKEN }}
272274
fuzz-seconds: 600
273275
mode: 'prune'
276+
output-sarif: true
274277
# Optional but recommended.
275278
# See later section on "Git repo for storage".
276279
# storage-repo: https://${{ secrets.PERSONAL_ACCESS_TOKEN }}@github.com/OWNER/STORAGE-REPO-NAME.git

0 commit comments

Comments
 (0)