Skip to content
Build

Merge pull request #405 from eclipse-sprotty/dh/edge-in-progress #106

Sign in to view logs

Merge pull request #405 from eclipse-sprotty/dh/edge-in-progress

Merge pull request #405 from eclipse-sprotty/dh/edge-in-progress #106

Triggered via push November 20, 2023 09:50
@dhuebnerdhuebner
pushed e38e5d4
master
Status Success
Total duration 1m 7s
Artifacts –

build.yml

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