Abbreviations Manager #1042
wadoon
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
code_quality.yml
on: pull_request
qodana
4m 13s
formatting
1m 10s
checkstyle_new
2m 7s
pmd
1m 55s
Annotations
1 error and 4 warnings
|
formatting
Gradle build failed: see console output for details
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L290
Non-serializable field 'ICON' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L62
Non-serializable field 'mediator' in a Serializable class
|
|
Non-serializable field in a 'Serializable' class:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L73
Non-serializable field 'oldProof' in a Serializable class
|
|
Default annotation parameter value:
key.ui/src/main/java/de/uka/ilkd/key/gui/utilities/AbbrevManager.java#L46
Redundant default parameter value assignment
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.7 MB |
|