mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
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 GitOrigin-RevId: 658ed5026db9903ac6a1cc0522100c05fd55ff79
This commit is contained in:
committed by
intellij-monorepo-bot
parent
72c03afaeb
commit
b6be792162
@@ -6,7 +6,7 @@ on:
|
||||
push:
|
||||
# for each release
|
||||
tags:
|
||||
- 'idea/*'
|
||||
- 'idea/20*'
|
||||
env:
|
||||
artifacts_dir: 'out/idea-ce/artifacts'
|
||||
jobs:
|
||||
|
||||
Reference in New Issue
Block a user