fix: remove kover

Motivation:
* Random issue with missing `kover-agent.args` (not sure what's the exact cause, but invalidating the cache + removing `build/` helps)
* We don’t get any real benefit from this at the moment (checking coverage is great, but we have too few tests for it to make sense to track or to require a certain % in new PRs; we can bring it back in the future)
* The CI step was commented out anyway

Author: exigow

.github/workflows/jetbrains-release.yaml

@@ -456,12 +456,6 @@ jobs:
           name: tests-result
           path: ${{ github.workspace }}/extensions/intellij/build/reports/tests
 
-      # Upload the Kover report to CodeCov
-      # - name: Upload Code Coverage Report
-      #   uses: codecov/codecov-action@v4
-      #   with:
-      #     files: ${{ github.workspace }}/build/reports/kover/report.xml
-
   # Run Qodana inspections and provide report
   inspectCode:
     if: false

extensions/intellij/build.gradle.kts

@@ -15,7 +15,6 @@ plugins {
     id("org.jetbrains.intellij.platform") version "2.7.2"
     id("org.jetbrains.changelog") version "2.1.2"
     id("org.jetbrains.qodana") version "0.1.13"
-    id("org.jetbrains.kotlinx.kover") version "0.7.3"
     id("io.sentry.jvm.gradle") version "5.8.0"
 }
 
@@ -78,12 +77,6 @@ qodana {
     showReport = environment("QODANA_SHOW_REPORT").map { it.toBoolean() }.getOrElse(false)
 }
 
-koverReport {
-    defaults {
-        xml { onCheck = true }
-    }
-}
-
 intellijPlatformTesting {
     runIde {
         register("runIdeForUiTests") {