Prover: new beta-v1 contract (#504) #320
Annotations
2 warnings
|
Post Perform CodeQL Analysis
Unexpected input(s) 'sarif-file', valid inputs are ['check_name', 'output', 'upload', 'cleanup-level', 'ram', 'add-snippets', 'skip-queries', 'threads', 'checkout_path', 'ref', 'sha', 'category', 'upload-database', 'wait-for-processing', 'token', 'matrix', 'expect-error']
|
|
Perform CodeQL Analysis
Unexpected input(s) 'sarif-file', valid inputs are ['check_name', 'output', 'upload', 'cleanup-level', 'ram', 'add-snippets', 'skip-queries', 'threads', 'checkout_path', 'ref', 'sha', 'category', 'upload-database', 'wait-for-processing', 'token', 'matrix', 'expect-error']
|
Loading