Merge maintenance/mps20241 into maintenance/mps20251#1690

Merged

mps-ci-buildbot merged 2 commits intomaintenance/mps20251from

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