onriv / lean4ij

A Lean4 plugin for the Intellij Platform
Apache License 2.0
5 stars 0 forks source link

Bump org.jetbrains.qodana from 2024.1.5 to 2024.2.3 #28

Closed dependabot[bot] closed 2 weeks ago

dependabot[bot] commented 2 weeks ago

Bumps org.jetbrains.qodana from 2024.1.5 to 2024.2.3.

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
github-actions[bot] commented 2 weeks ago

Qodana Community for JVM

182 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 44
Redundant semicolon 🔶 Warning 37
Unused import directive 🔶 Warning 28
Unstable API Usage 🔶 Warning 19
Local 'var' is never modified and can be declared as 'val' 🔶 Warning 3
Redundant nullable return type 🔶 Warning 3
Constructor parameter is never used as a property 🔶 Warning 2
Usage of redundant or deprecated syntax or deprecated symbols 🔶 Warning 2
Redundant string template 🔶 Warning 2
Unresolved reference in KDoc 🔶 Warning 1
'catch' block may ignore exception 🔶 Warning 1
Redundant diagnostic suppression 🔶 Warning 1
Obvious explicit type 🔶 Warning 1
Redundant visibility modifier 🔶 Warning 1
Unused receiver parameter 🔶 Warning 1
Class member can have 'private' visibility ◽️ Notice 22
Accessor call that can be replaced with property access syntax ◽️ Notice 4
Class naming convention ◽️ Notice 2
Redundant curly braces in string template ◽️ Notice 2
Unnecessary '@OptIn' annotation ◽️ Notice 2
Return or assignment can be lifted out ◽️ Notice 1
Private property naming convention ◽️ Notice 1
Redundant 'if' statement ◽️ Notice 1
Negated call can be simplified ◽️ Notice 1

💡 Qodana analysis was run in the pull request mode: only the changed files were checked

View the detailed Qodana report To be able to view the detailed Qodana report, you can either: - Register at [Qodana Cloud](https://qodana.cloud/) and [configure the action](https://github.com/jetbrains/qodana-action#qodana-cloud) - Use [GitHub Code Scanning with Qodana](https://github.com/jetbrains/qodana-action#github-code-scanning) - Host [Qodana report at GitHub Pages](https://github.com/JetBrains/qodana-action/blob/3a8e25f5caad8d8b01c1435f1ef7b19fe8b039a0/README.md#github-pages) - Inspect and use `qodana.sarif.json` (see [the Qodana SARIF format](https://www.jetbrains.com/help/qodana/qodana-sarif-output.html#Report+structure) for details) To get `*.log` files or any other Qodana artifacts, run the action with `upload-result` option set to `true`, so that the action will upload the files as the job artifacts: ```yaml - name: 'Qodana Scan' uses: JetBrains/qodana-action@v2024.2.3 with: upload-result: true ```
Contact Qodana team Contact us at [qodana-support@jetbrains.com](mailto:qodana-support@jetbrains.com) - Or via our issue tracker: https://jb.gg/qodana-issue - Or share your feedback: https://jb.gg/qodana-discussions