PR to merge into the next version

Merge pull request #1550 from IETS3/bugfix/colon-cast #362

Sign in to view logs

Triggered via push December 10, 2025 18:59

arimer

maintenance/mps20241

Status Success

Total duration 17s

Artifacts –

PR-into-next-version.yml

on: push

create-pr / create-pr