Skip to content

Merge maintenance/MPS-2025.1 into master#405

Open
mps-ci-buildbot wants to merge 12 commits intomasterfrom
merge/master
Open

Merge maintenance/MPS-2025.1 into master#405
mps-ci-buildbot wants to merge 12 commits intomasterfrom
merge/master

Conversation

@mps-ci-buildbot
Copy link
Contributor

Merge changes from maintenance/MPS-2025.1 to master.

btakim and others added 5 commits December 2, 2025 13:30
* Update outdated dependencies

org.apache.commons:commons-lang3
commons-io:commons-io

* Update build.gradle.kts
Merge maintenance/MPS-2024.1 into maintenance/MPS-2024.3
…ting-release

fixed some build related issues
michaelremm and others added 4 commits January 12, 2026 16:49
… icon (#408)

* lint: add new linter for checking that rootable concepts have defined icon

* lint: File -> Force Save All
Merge maintenance/MPS-2024.1 into maintenance/MPS-2024.3
Merge maintenance/MPS-2024.3 into maintenance/MPS-2025.1
@mps-ci-buildbot mps-ci-buildbot self-assigned this Jan 12, 2026
danielratiu and others added 3 commits February 2, 2026 15:55
* mpsqa.lint: added a linter for detected not used quickfixes

* mpsqa.lint: File -> Force Save All

---------

Co-authored-by: Daniel Ratiu <ratiud@mail.google.com>
Merge maintenance/MPS-2024.1 into maintenance/MPS-2024.3
Merge maintenance/MPS-2024.3 into maintenance/MPS-2025.1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants