From 3699f854984bcbab4cf9ab45e18f49d8683eceeb Mon Sep 17 00:00:00 2001
From: "Dmitriy.Panov" <dmitriy.panov@jetbrains.com>
Date: Tue, 29 Jul 2025 10:41:30 +0200
Subject: [PATCH] GitHub workflow trigger is updated for release tags

there are two kinds of release tags: build-number-based and marketing-version-based, no need to trigger GitHub workflows for both since they're put on the same commits


(cherry picked from commit 658ed5026db9903ac6a1cc0522100c05fd55ff79)

GitOrigin-RevId: e140db86302cb37364cbd74290a154708f655f59
---
 .github/workflows/IntelliJ_IDEA.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/IntelliJ_IDEA.yml b/.github/workflows/IntelliJ_IDEA.yml
index 35d05142b501..8b98d10aaba6 100644
--- a/.github/workflows/IntelliJ_IDEA.yml
+++ b/.github/workflows/IntelliJ_IDEA.yml
@@ -6,7 +6,7 @@ on:
   push:
     # for each release
     tags:
-      - 'idea/*'
+      - 'idea/20*'
 env:
   artifacts_dir: 'out/idea-ce/artifacts'
 jobs: