Skip to content
CodeQuality

Create a JSON-RPC for KeY #2751

Sign in to view logs

Create a JSON-RPC for KeY

Create a JSON-RPC for KeY #2751

Triggered via pull request December 3, 2024 22:31
@wadoonwadoon
synchronize #3303
weigl/jsonrpc
Status Failure
Total duration 2m 20s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
2m 8s
checkerFramework
formatting
53s
formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
formatting
Process completed with exit code 1.
formatting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
checkerFramework
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636