Skip to content
Build

Merge pull request #400 from eclipse-sprotty/eslint-global #82

Sign in to view logs

Merge pull request #400 from eclipse-sprotty/eslint-global

Merge pull request #400 from eclipse-sprotty/eslint-global #82

Triggered via push November 8, 2023 12:01
@kaisalmenkaisalmen
pushed 771285d
master
Status Success
Total duration 1m 3s
Artifacts –

build.yml

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