Jenkins:All (latest builds)2023-12-08T07:56:12ZJenkins Serverurn:uuid:903deee0-7bfa-11db-9fe1-0800200c9a66deploy-sprotty #95 (stable)tag:hudson.dev.java.net,2008:https://ci.eclipse.org/sprotty/job/deploy-sprotty/2023-12-08T07:56:12Z2023-12-08T07:56:12Zdeploy-sprotty-layout #6 (broken since this build)tag:hudson.dev.java.net,2008:https://ci.eclipse.org/sprotty/job/deploy-sprotty-layout/2021-10-22T11:37:17Z2021-10-22T11:37:17Zdeploy-sprotty-theia #31 (stable)tag:hudson.dev.java.net,2008:https://ci.eclipse.org/sprotty/job/deploy-sprotty-theia/2024-01-11T07:42:29Z2024-01-11T07:42:29Z