migrate to jspecify annotations (was checker framework) #3874
ben-manesAnnotations
2 errors
|
security-scan
Process completed with exit code 100.
|
|
security-scan
Invalid SARIF. JSON syntax error: Unexpected end of JSON input
|