Skip to content

Merge pull request #401 from jbicker/issue-128 #85

Merge pull request #401 from jbicker/issue-128

Merge pull request #401 from jbicker/issue-128 #85

Triggered via push November 9, 2023 12:04
Status Success
Total duration 5m 58s
Artifacts

build.yml

on: push
Sprotty CI
56s
Sprotty CI
Fit to window
Zoom out
Zoom in