Merge maintenance/mps20251 into master#1691

Merged

mps-ci-buildbot merged 3 commits intomasterfrom

Dec 4, 2025

Commits on Dec 3, 2025

build: put all transitive dependencies as provided in the POM as well
sergej-koscejev
committed

Commits on Dec 4, 2025

Merge pull request #1688 from JetBrains/feature/all-provided-deps
sergej-koscejev
authored
Merge pull request #1690 from JetBrains/merge/mps20251
mps-ci-buildbot
authored