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

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

Explicitly given type is redundant here

'createCollector' always returns non-null type

'contextInfo' 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 semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant semicolon

Redundant visibility modifier

Redundant qualifier name

Redundant string template

Redundant string template

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

Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' 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

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

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

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

Receiver parameter is never used

Property "isRemoved" is never used

Property "term" is never used

Property "progressingLineMarker" is never used

Function "respondSse" is never used

Function "toJsonElement" is never used

Property "project" is never used

Function "substring" is never used

Property "height" is never used

Function "plainTermGoal" is never used

Function "fromJson" is never used

Function "runCommand" is never used

Function "highlight" is never used

Property "goalPrefix" is never used

Property "scope" is never used

Property "cls" is never used

Function "checked" is never used

Function "createTextAttributesKey" is never used

Class "COLOR" is never used

Function "plainGoal" is never used

Class "ToolTipListCellRenderer" is never used

Function "isLeanFile" is never used

Function "path" is never used

Property "indent" is never used

Function "leanFileProgress" is never used

Class "MsgEmbedTrace" is never used

Function "notify" is never used

Function "updateGoal" is never used

Function "notify" is never used

Property "EXTERNAL_INFOVIEW_SERVER_INITIALIZED" is never used

Property "sessions" is never used

Function "render" is never used

Property "BORDER" is never used

Property "ctx" is never used

Property "ctx" is never used

Property "disableVscodeInfoviewUpdateAtWindowClosed" is never used

Class "FileProgressGutterIconRender" is never used

Property "isInserted" is never used

Property "INSTANCE" is never used

Function "aligned" is never used

Object "LeanUtil" is never used

Property "attrSelect" is never used

Property "mvarId" is never used

Property "disableNativeInfoviewUpdateAtWindowClosed" is never used

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'

'Assignment' can be lifted out of 'if'

Property 'goals' could be private

Function 'getInteractiveDiagnosticsAsync' could be private

Property 'popupEditor' could be private

Property 'leanProject' could be private

Property 'hyps' could be private

Function 'createPopupPanel' could be private

Function 'rpcCallAsync' could be private

Property 'hintCache' could be private

Function 'getInteractiveTermGoalAsync' could be private

Function 'createProgress' could be private

Property 'logicalPosition' could be private

Function 'createDocPanel' could be private

Property 'sb' could be private

Function 'createExprPanel' could be private

Function 'rpcConnectAsync' could be private

Property 'toolWindow' could be private

Function 'plainGoalAsync' could be private

Property 'cache' could be private

Property 'userName' could be private

Property 'point' could be private

Function 'infoToInteractiveAsync' could be private

Property 'contextInfo' could be private

Function 'plainTermGoalAsync' could be private

Property 'expr' 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'

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 getter method instead of property access syntax

Use of getter method instead of property access syntax