Skip to content

Merge pull request #25 from eclipse-sprotty/fix-broken-link #15

Merge pull request #25 from eclipse-sprotty/fix-broken-link

Merge pull request #25 from eclipse-sprotty/fix-broken-link #15

Triggered via push November 8, 2023 11:14
Status Success
Total duration 59s
Artifacts 1

deploy.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
55.2 MB