Skip to content
CodeQuality

Make the proof tree (or the KeY GUI in general) responsive during automatic proof search #3730

Sign in to view logs

Make the proof tree (or the KeY GUI in general) responsive during automatic proof search

Make the proof tree (or the KeY GUI in general) responsive during automatic proof search #3730

Triggered via pull request October 11, 2025 22:58
@wadoonwadoon
synchronize #3541
weigl/fix3415
Status Failure
Total duration 2m 41s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
2m 21s
checkerFramework
formatting
47s
formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
formatting
Process completed with exit code 1.