Fixes a NullPointerException when the configuration files for the "Recent Files" feature is not yet created #1135
code_quality.yml
on: pull_request
qodana
3m 21s
formatting
1m 20s
checkstyle_new
1m 50s
pmd
1m 52s
Annotations
1 warning
Result of method call ignored:
key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java#L247
Result of `File.createNewFile()` is ignored
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
qodana-report
Expired
|
13.6 MB |
|