Merge pull request #215 from github/main-v1

Mergeback v1 to main
This commit is contained in:
Robert 2020-09-17 09:33:39 +01:00 committed by GitHub
commit 2c94a7f61f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -19,7 +19,7 @@ inputs:
add-snippets:
description: Specify whether or not to add code snippets to the output sarif file.
required: false
default: "true"
default: "false"
threads:
description: The number of threads to be used by CodeQL.
required: false