Merge maintenance/mps20251 into master · JetBrains/MPS-extensions@5a9d3f0

Triggered via pull request October 20, 2025 12:19

synchronize #1631

merge/master

Status Success

Total duration 1m 50s

Artifacts 1

vulnerability-scanning.yml

on: pull_request

Produced during runtime

Name	Size	Digest
Depcheck report Expired	44.4 KB	`sha256:f91ff7dee278fbe4b13aae4dedeb34591e3aeb1abf0d1ab8d36c20f270ab7d27`