Merge maintenance/mps20251 into master · JetBrains/MPS-extensions@86812d4

Triggered via pull request October 21, 2025 15:43

opened #1637

merge/master

Status Success

Total duration 2m 7s

Artifacts 1

vulnerability-scanning.yml

on: pull_request

Produced during runtime

Name	Size	Digest
Depcheck report Expired	44.4 KB	`sha256:235a34432d0f16a40660de5c2f3aa4c124c12b304f5089ff93c59cf687795e97`