Skip to content

up ver

up ver #303

Triggered via push December 17, 2024 16:26
Status Success
Total duration 13m 10s
Artifacts 2

build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

209 warnings and 115 notices
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Release draft
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Test
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Verify plugin
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Verify plugin
This job uses deprecated functionality from the 'gradle/actions/setup-gradle' action. Consult the Job Summary for more details.
Local 'var' is never modified and can be declared as 'val': src/main/kotlin/lean4ij/language/InlayHints.kt#L354
Variable is never modified, so it can be declared using 'val'
Unresolved reference in KDoc: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L94
Cannot resolve symbol 'CodeWithInfos'
Usage of redundant or deprecated syntax or deprecated symbols: src/main/kotlin/lean4ij/infoview/external/Route.kt#L250
Unnecessary non-null assertion (!!) on a non-null receiver of type JsonElement
Obvious explicit type: src/main/kotlin/lean4ij/util/OsUtil.kt#L32
Explicitly given type is redundant here
Redundant nullable return type: src/main/kotlin/lean4ij/lsp/data/SubexprInfo.kt#L15
'contextInfo' always returns non-null type
Redundant nullable return type: src/main/kotlin/lean4ij/language/InlayHints.kt#L466
'getTextAttributes' always returns non-null type
Redundant semicolon: build.gradle.kts#L282
Redundant semicolon
Redundant semicolon: build.gradle.kts#L274
Redundant semicolon
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'LSPDiagnosticFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPDiagnosticFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L30
Overridden method 'isEnabled()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L12
'LSPCompletionFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L16
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L72
'getPreferredContentWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'setDiagnosticFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPDiagnosticFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L22
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
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L96
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L207
'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L12
'com.redhat.devtools.lsp4ij.client.features.LSPCompletionFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'LSPWorkspaceSymbolFeature()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPWorkspaceSymbolFeature' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L42
'com.intellij.codeInsight.documentation.DocumentationScrollPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L11
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L42
'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
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L23
Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L72
'com.intellij.codeInsight.documentation.DocumentationEditorPane' is marked unstable with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L23
Overridden method 'getTextAttributesKey()' is declared in unstable 'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L16
'LSPClientFeatures()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLanguageServerFactory.kt#L55
'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L29
'setWorkspaceSymbolFeature(com.redhat.devtools.lsp4ij.client.features.@org.jetbrains.annotations.NotNull LSPWorkspaceSymbolFeature)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L20
'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
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L21
'com.redhat.devtools.lsp4ij.client.features.LSPDiagnosticFeature' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L36
Overridden method 'isEnabled(com.intellij.openapi.vfs.@org.jetbrains.annotations.NotNull VirtualFile)' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L207
'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
Unstable API Usage: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L10
'com.intellij.openapi.editor.markup.FillingLineMarkerRenderer' is marked unstable with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L96
'getPreferredHeightByWidth(int)' is declared in unstable class 'com.intellij.codeInsight.documentation.DocumentationEditorPane' marked with @ApiStatus.Internal
Unstable API Usage: src/main/kotlin/lean4ij/lsp/Lean4LSPClientFeatures.kt#L40
'getProject()' is declared in unstable class 'com.redhat.devtools.lsp4ij.client.features.LSPClientFeatures' marked with @ApiStatus.Experimental
Unstable API Usage: src/main/kotlin/lean4ij/lsp/LeanLSPCompletionFeature.kt#L15
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
Unused receiver parameter: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L37
Receiver parameter is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L158
Function "nextSiblingIsAssign" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L193
Property "collapsed" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewService.kt#L11
Property "project" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L15
Property "isRemoved" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoals.kt#L146
Function "highlight" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L39
Property "BAD_CHAR_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L26
Function "plainTermGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L77
Function "render" is never used
Unused symbol: src/main/kotlin/lean4ij/setting/Lean4Configurable.kt#L100
Function "select" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L14
Property "goalPrefix" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/KtorSseUtil.kt#L19
Function "respondSse" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L74
Property "BORDER" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L22
Function "plainGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L10
Property "mvarId" is never used
Unused symbol: src/main/kotlin/lean4ij/language/InlayHints.kt#L578
Class "DiagInlayHintsCollector" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L178
Property "symbolEntryCache" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L193
Property "indent" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L23
Function "createTextAttributesKey" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L40
Property "SEPARATOR_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/InfoviewPopupDocumentation.kt#L198
Function "createExprPanel" is never used
Unused symbol: src/main/kotlin/lean4ij/util/Constants.kt#L25
Property "EXTERNAL_INFOVIEW_SERVER_INITIALIZED" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4ParserDefinition.kt#L30
Class "Lean4ElementImpl" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L11
Property "isInserted" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/LeanLsp4jClient.kt#L24
Function "leanFileProgress" is never used
Unused symbol: src/main/kotlin/lean4ij/util/ProjectUtil.kt#L29
Function "notify" is never used
Unused symbol: src/main/kotlin/lean4ij/util/LeanUtil.kt#L10
Function "runCommand" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/dsl/dsl.kt#L154
Function "onClick" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindowFactory.kt#L170
Function "updateInteractiveGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InteractiveGoal.kt#L13
Property "ctx" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/external/Route.kt#L341
Function "toJsonElement" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanFile.kt#L74
Property "progressingLineMarker" is never used
Unused symbol: src/main/kotlin/lean4ij/lsp/data/InfoviewRender.kt#L3
Object "InfoObjectModelDsl" is never used
Unused symbol: src/main/kotlin/lean4ij/project/FileProgressGutterIconRender.kt#L7
Class "FileProgressGutterIconRender" is never used
Unused symbol: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L42
Property "VALUE_KEYS" is never used
Unused symbol: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L90
Function "updateGoal" is never used
Unused symbol: src/main/kotlin/lean4ij/project/LeanProjectService.kt#L154
Function "updateInfoviewFor" is never used
Inspect code
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Inspect code
You are running a Qodana linter without an exact version tag: jetbrains/qodana-jvm-community:latest
Class naming convention: src/main/kotlin/lean4ij/project/leanFileProgressFinishedFillingLineMarkerRender.kt#L11
Class name `leanFileProgressFinishedFillingLineMarkerRender` should start with an uppercase letter
Class naming convention: src/main/kotlin/lean4ij/project/leanFileProgressFillingLineMarkerRender.kt#L10
Class name `leanFileProgressFillingLineMarkerRender` should start with an uppercase letter
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L145
Local variable name `request_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L112
Local variable name `user_gesture` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L95
Local variable name `user_gesture` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L144
Local variable name `cert_error` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L111
Local variable name `target_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L131
Local variable name `origin_url` should not contain underscores
Local variable naming convention: src/main/kotlin/lean4ij/infoview/external/JcefInfoviewTooWindowFactory.kt#L96
Local variable name `is_redirect` should not contain underscores
Class member can have 'private' visibility: src/main/kotlin/lean4ij/sdk/SdkService.kt#L31
Function 'getLeanVersion' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L81
Function 'getInteractiveTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L75
Function 'getInteractiveGoalsAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L63
Function 'plainTermGoalAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L97
Function 'infoToInteractiveAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L106
Function 'lazyTraceChildrenToInteractiveAsync' could be private
Class member can have 'private' visibility: src/main/kotlin/lean4ij/lsp/LeanLanguageServer.kt#L87
Function 'getInteractiveDiagnosticsAsync' could be private
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L88
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L89
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L89
Implicit parameter 'it' of enclosing lambda is shadowed
Nested lambda has shadowed implicit parameter: src/main/kotlin/lean4ij/lsp/data/CodeWithInfos.kt#L88
Implicit parameter 'it' of enclosing lambda is shadowed
Private property naming convention: src/main/kotlin/lean4ij/language/Lean4WorkspaceSymbolContributor.kt#L168
Private property name `SLEEP_TIME` should not contain underscores in the middle or the end
Private property naming convention: src/main/kotlin/lean4ij/infoview/LeanInfoViewWindow.kt#L74
Private property name `BORDER` should not start with an uppercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L42
Property name `VALUE_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L41
Property name `KEY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L37
Property name `KEYWORD_IN_PROOF` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L46
Property name `SORRY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L32
Property name `KEY` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L47
Property name `KEYWORD_IN_PROOF_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L44
Property name `NUMBER_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L45
Property name `EMPTY_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L33
Property name `VALUE` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L34
Property name `COMMENT` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L36
Property name `SORRY` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L31
Property name `SEPARATOR` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L40
Property name `SEPARATOR_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L35
Property name `NUMBER` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L43
Property name `COMMENT_KEYS` should start with a lowercase letter
Property naming convention: src/main/kotlin/lean4ij/language/Lean4SyntaxHighlighter.kt#L39
Property name `BAD_CHAR_KEYS` should start with a lowercase letter
Negated call can be simplified: src/main/kotlin/lean4ij/language/InlayHints.kt#L266
Replace negated 'isEmpty' with 'isNotEmpty'
Negated call can be simplified: src/main/kotlin/lean4ij/language/InlayHints.kt#L340
Replace negated 'isEmpty' with 'isNotEmpty'
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L56
The opt-in annotation is redundant: no matching experimental API is used
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/external/Route.kt#L53
The opt-in annotation is redundant: no matching experimental API is used
Unnecessary '@OptIn' annotation: src/main/kotlin/lean4ij/infoview/LeanInfoviewColorSettingPage.kt#L90
The opt-in annotation is redundant: no matching experimental API is used

Artifacts

Produced during runtime
Name Size
lean4ij-0.1.10-beta.0
13.1 MB
pluginVerifier-result
17.3 KB