Create a JSON-RPC for KeY #2672
code_quality.yml
on: pull_request
checkerFramework
40s
qodana
50s
formatting
54s
checkstyle_new
56s
pmd
43s
Annotations
7 errors and 3 warnings
checkerFramework
Process completed with exit code 1.
|
pmd
Process completed with exit code 1.
|
qodana
Path does not exist: /home/runner/work/_temp/qodana/results/qodana.sarif.json
|
qodana
qodana scan failed with exit code 1
|
formatting
Process completed with exit code 1.
|
checkstyle_new
Path does not exist: sarif-report.json
|
checkstyle_new
Process completed with exit code 1.
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|
qodana
You are using a non-compatible Qodana linter jetbrains/qodana-jvm-community:2022.1 with the current CLI (2024.2.3)
|