Add option to override TRAP caching feature flag

This commit is contained in:
Edoardo Pirovano 2022-08-05 11:41:43 +01:00
parent 693d3f22d8
commit 2d5738c1ac
No known key found for this signature in database
GPG key ID: 047556B5D93FFE28

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