Merge maintenance/mps20251 into master · JetBrains/MPS-extensions@12b754f

Triggered via pull request December 3, 2025 13:34

synchronize #1687

merge/master

Status Success

Total duration 3m 46s

Artifacts 1

vulnerability-scanning.yml

on: pull_request

Produced during runtime

Name	Size	Digest
Depcheck report	44.4 KB	`sha256:b67ddc12647c068fa66ab0a99608bf611b475ace80a3f10f4d2485996a2eb576`