This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.

This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.

Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1

This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.

Constructor parameter is never used as a property

Constructor parameter is never used as a property

Variable is never modified, so it can be declared using 'val'

Variable is never modified, so it can be declared using 'val'

Variable is never modified, so it can be declared using 'val'

Cannot resolve symbol 'CodeWithInfos'

Empty catch block

Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement

Unnecessary non-null assertion (!!) on a non-null receiver of type T

Redundant suppression

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Unused import directive

Explicitly given type is redundant here

'getTextAttributes' always returns non-null type

'createCollector' always returns non-null type

'contextInfo' always returns non-null type

'createCollector' always returns non-null type

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant 'suspend' modifier

Redundant visibility modifier

Redundant string template

Redundant string template

'LSPClientFeatures()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental

'setCompletionFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPCompletionFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental

'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal

'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' is marked unstable with @ApiStatus.Experimental

'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal

'getPreferredContentWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal

'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental

'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal

'setViewportView(com.intellij.codeInsight.documentation.@org.jetbrains.annotations.NotNull DocumentationEditorPane, javax.swing.@org.jetbrains.annotations.NotNull JLabel)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationScrollPane' marked with @ApiStatus.Internal

Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental

'LSPCompletionFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' marked with @ApiStatus.Experimental

'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental

Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental

'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal

'getPreferredHeightByWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal

'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental

'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental

Overridden method 'isEnabled(com.intellij.psi.@org.jetbrains.annotations.NotNull PsiFile)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.AbstractLSPDocumentFeature' marked with @ApiStatus.Experimental

'setViewportView(com.intellij.codeInsight.documentation.@org.jetbrains.annotations.NotNull DocumentationEditorPane, javax.swing.@org.jetbrains.annotations.NotNull JLabel)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationScrollPane' marked with @ApiStatus.Internal

Receiver parameter is never used

Property "isRemoved" is never used

Function "toJsonElement" is never used

Property "term" is never used

Property "disableVscodeInfoviewUpdateAtWindowClosed" is never used

Function "aligned" is never used

Property "height" is never used

Function "respondSse" is never used

Property "project" is never used

Function "substring" is never used

Function "render" is never used

Property "progressingLineMarker" is never used

Function "plainTermGoal" is never used

Function "fromJson" is never used

Function "runCommand" is never used

Property "disableNativeInfoviewUpdateAtWindowClosed" is never used

Class "DiagInlayHintsCollector" is never used

Function "highlight" is never used

Function "updateGoal" is never used

Property "goalPrefix" is never used

Property "BORDER" is never used

Property "cls" is never used

Function "createTextAttributesKey" is never used

Class "ToolTipListCellRenderer" is never used

Class "COLOR" is never used

Function "plainGoal" is never used

Function "isLeanFile" is never used

Property "scope" is never used

Function "path" is never used

Property "indent" is never used

Function "leanFileProgress" is never used

Function "checked" is never used

Class "MsgEmbedTrace" is never used

Function "notify" is never used

Function "notify" is never used

Property "EXTERNAL_INFOVIEW_SERVER_INITIALIZED" is never used

Property "sessions" is never used

Function "createExprPanel" is never used

Property "ctx" is never used

Property "ctx" is never used

Class "FileProgressGutterIconRender" is never used

Property "isInserted" is never used

Object "LeanUtil" is never used

Property "attrSelect" is never used

Property "mvarId" is never used

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest

You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest

Class name `leanFileProgressFinishedFillingLineMarkerRender` should start with an uppercase letter

Class name `leanFileProgressFillingLineMarkerRender` should start with an uppercase letter

'Assignment' can be lifted out of 'if'

Function 'getInteractiveDiagnosticsAsync' could be private

Property 'hyps' could be private

Function 'createDocPanel' could be private

Function 'createPopupPanel' could be private

Property 'hintCache' could be private

Function 'rpcCallAsync' could be private

Property 'point' could be private

Function 'getInteractiveTermGoalAsync' could be private

Function 'createProgress' could be private

Property 'toolWindow' could be private

Property 'sb' could be private

Function 'rpcConnectAsync' could be private

Function 'refresh' could be private

Property 'logicalPosition' could be private

Function 'plainGoalAsync' could be private

Property 'leanProject' could be private

Function 'model' could be private

Property 'userName' could be private

Function 'hideHint' could be private

Function 'infoToInteractiveAsync' could be private

Function 'updateHint' could be private

Property 'popupEditor' could be private

Function 'plainTermGoalAsync' could be private

Property 'expr' could be private

Property 'cache' could be private

Function 'showHint' could be private

Property 'currentHints' could be private

Function 'getInteractiveGoalsAsync' could be private

Private property name `BORDER` should not start with an uppercase letter

Redundant 'if' statement

Redundant curly braces in string template

Redundant curly braces in string template

Replace negated 'isEmpty' with 'isNotEmpty'

Replace negated 'isEmpty' with 'isNotEmpty'

The opt-in annotation is redundant: no matching experimental API is used

The opt-in annotation is redundant: no matching experimental API is used

The opt-in annotation is redundant: no matching experimental API is used

Use of getter method instead of property access syntax

Use of setter method instead of property access syntax

Use of setter method instead of property access syntax

Use of getter method instead of property access syntax

Use of getter method instead of property access syntax