Prover: couple of fixes betav1 (#377) #277
Annotations
1 error and 5 warnings
Analyze (java-kotlin)
The self-hosted runner: consensys-runner-deployment-general-medium-9lws8-mcrpz lost communication with the server. Verify the machine is running and has a healthy network connection. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
|
Analyze (go)
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']
|
Analyze (go)
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']
|
Analyze (javascript-typescript)
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']
|
Analyze (javascript-typescript)
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']
|
Analyze (java-kotlin)
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']
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
codeql-results-go
Expired
|
88.1 KB |
|
codeql-results-javascript-typescript
Expired
|
132 KB |
|