Merge pull request #1170 from github/edoardo/add-trap-cache-option

Add option to override TRAP caching feature flag
This commit is contained in:
Edoardo Pirovano 2022-08-05 12:40:04 +01:00 committed by GitHub
commit cade2b5621
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -72,6 +72,11 @@ inputs:
The name of the database uploaded to the debugging artifact.
This is only used when debug mode is enabled.
required: false
trap-caching:
description: >-
Explicitly enable or disable TRAP caching rather than respecting the feature flag for it.
This is currently a no-op, as the feature behind this has not been implemented yet.
required: false
outputs:
codeql-path:
description: The path of the CodeQL binary used for analysis