Skip to content
CodeQuality

fixes #3670: KeY does not know that enum constants are non-null #3746

Sign in to view logs

fixes #3670: KeY does not know that enum constants are non-null

fixes #3670: KeY does not know that enum constants are non-null #3746

Triggered via pull request October 24, 2025 20:33
@mattulbrichmattulbrich
synchronize #3676
fix3670
Status Failure
Total duration 3m 0s
Artifacts –

code_quality.yml

on: pull_request
checkerFramework
2m 26s
checkerFramework
formatting
51s
formatting
Fit to window
Zoom out
Zoom in

Annotations

1 error
formatting
Process completed with exit code 1.