From 98f3d1d9067e95a198b91cef0b46866421d5ee7b Mon Sep 17 00:00:00 2001
From: Jaime Wren <jwren@google.com>
Date: Mon, 1 Dec 2025 09:45:20 -0800
Subject: [PATCH 1/2] Update the verifier information to include additional
 IDEs in validation

---
 third_party/build.gradle.kts | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/third_party/build.gradle.kts b/third_party/build.gradle.kts
index 840bea668..355d9db86 100644
--- a/third_party/build.gradle.kts
+++ b/third_party/build.gradle.kts
@@ -63,6 +63,16 @@ intellijPlatform {
         subsystemsToCheck = VerifyPluginTask.Subsystems.ALL
         ides {
             recommended()
+            select {
+                types = listOf(
+                    IntelliJPlatformType.IntellijIdeaCommunity,
+                    IntelliJPlatformType.IntellijIdeaUltimate,
+                    IntelliJPlatformType.AndroidStudio,
+                    IntelliJPlatformType.WebStorm,
+                    IntelliJPlatformType.GoLand
+                )
+                channels = listOf(ProductRelease.Channel.RELEASE)
+            }
         }
     }
 }

From a944e1920828c60f18329694c97ab2b649196406 Mon Sep 17 00:00:00 2001
From: Jaime Wren <jwren@google.com>
Date: Mon, 1 Dec 2025 23:45:27 -0800
Subject: [PATCH 2/2] Modify coverage as the presubmit machine is hitting a
 memory issue

---
 third_party/build.gradle.kts | 2 --
 1 file changed, 2 deletions(-)

diff --git a/third_party/build.gradle.kts b/third_party/build.gradle.kts
index 355d9db86..ac71bee43 100644
--- a/third_party/build.gradle.kts
+++ b/third_party/build.gradle.kts
@@ -68,8 +68,6 @@ intellijPlatform {
                     IntelliJPlatformType.IntellijIdeaCommunity,
                     IntelliJPlatformType.IntellijIdeaUltimate,
                     IntelliJPlatformType.AndroidStudio,
-                    IntelliJPlatformType.WebStorm,
-                    IntelliJPlatformType.GoLand
                 )
                 channels = listOf(ProductRelease.Channel.RELEASE)
             }