Skip to content
MPS Compatibility

feat(projectional-editor): let a notation set the placeholder of an empty child link #1020

Sign in to view logs

feat(projectional-editor): let a notation set the placeholder of an empty child link

feat(projectional-editor): let a notation set the placeholder of an empty child link #1020

Triggered via pull request August 28, 2026 08:43
@slissonslisson
synchronize #565
feature/notation-placeholder-text
Status Success
Total duration 11m 57s
Artifacts 2

mps-compatibility.yaml

on: pull_request
Matrix: build-mps-plugin
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
test-report-2024.1
26.4 KB
sha256:4cfff1d8e20ab44864f1a14a9a83b8d56abd47ea0760b5554497b2bbc50dd022
test-report-2025.1
24.1 KB
sha256:2eb03efa65aa124c8b591217418062873a3ec82e04e5e8ea510452393e02e053