Skip to content
CodeQuality

Create a JSON-RPC for KeY #2672

Sign in to view logs

Create a JSON-RPC for KeY

Create a JSON-RPC for KeY #2672

Triggered via pull request October 20, 2024 14:13
@wadoonwadoon
synchronize #3303
weigl/jsonrpc
Status Failure
Total duration 1m 8s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
40s
checkerFramework
qodana
50s
qodana
formatting
54s
formatting
checkstyle_new
56s
checkstyle_new
pmd
43s
pmd
Fit to window
Zoom out
Zoom in

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)