Merge branch 'main' into robertbrignull/consistent_inputs

This commit is contained in:
Robert 2020-09-17 09:36:51 +01:00 committed by GitHub
commit 4b4f9e8e6a
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