Nightly build of the Semantics theia branch

Build: #409 was successful Manual run by Soeren Domroes

Build result summary

Details

Completed
Duration
69 minutes
Labels
None
Revisions
Semantics Theia
1120d4ded6e6795e5d12b7b0f211920f62ea02f9 1120d4ded6e6795e5d12b7b0f211920f62ea02f9
Pragmatics Theia
42969985d4587d7bf4b3d951c5fb4654bd0bad1f 42969985d4587d7bf4b3d951c5fb4654bd0bad1f
Keith
97cc445ccdb11731446de8021e65d68a192d4285 97cc445ccdb11731446de8021e65d68a192d4285
KLighD
3b33101a6c4c907ae4e289d8cbe8dcde03998fdc 3b33101a6c4c907ae4e289d8cbe8dcde03998fdc
Successful since
#406 ()

Code commits

Semantics Theia
Author Commit Message Commit date
Alexander Schulz-Rosengarten Alexander Schulz-Rosengarten 1120d4ded6e6795e5d12b7b0f211920f62ea02f9 m 1120d4ded6e6795e5d12b7b0f211920f62ea02f9 Pull request #264: Upgrade to latest Eclipse, Klighd, and Pragmatics Release
Merge in KIELER/semantics from als/future to master

* commit '1284cb7edc9a50de337b7ad8d8b6dc51ad3eb85b':
  Increased BREE of all (remaining) plugins to Java 11 and updated classpath and jdt settings.
  sccharts.ui: Increased BREE to Java 11 due to dependency to org.eclipse.jdt.debug
  build: Switched to tycho 2.3 to fix plugin testing with Java 11 and latest eclipse release
  build: Adjusted target platform to new jetty websocket mirror.
  sccharts.legacy: Fixed guice injection problem in legacy synthesis
  simulation.ide: Upgraded to Jetty 10 API and included websocket via kieler p2 mirror.
  build: Updated target platform to latest Eclipse, Klighd, and Pragmatics release
Alexander Schulz-Rosengarten Alexander Schulz-Rosengarten 1284cb7edc9a50de337b7ad8d8b6dc51ad3eb85b m 1284cb7edc9a50de337b7ad8d8b6dc51ad3eb85b Increased BREE of all (remaining) plugins to Java 11 and updated classpath and jdt settings.
This is not strictly necessary but in accordance with the general
decision to make Java 11 the new minimal version in the KIELER semantics
project.
Alexander Schulz-Rosengarten Alexander Schulz-Rosengarten 42e052127a8e70370df01ca57d885455c9d3d84b m 42e052127a8e70370df01ca57d885455c9d3d84b sccharts.ui: Increased BREE to Java 11 due to dependency to org.eclipse.jdt.debug
Alexander Schulz-Rosengarten Alexander Schulz-Rosengarten ea7bbd585730075beac8c2bfc963972dca90e0f2 m ea7bbd585730075beac8c2bfc963972dca90e0f2 build: Switched to tycho 2.3 to fix plugin testing with Java 11 and latest eclipse release
Alexander Schulz-Rosengarten Alexander Schulz-Rosengarten 6f160f53c0e33cb8206b69650a5a978056f946bf m 6f160f53c0e33cb8206b69650a5a978056f946bf build: Adjusted target platform to new jetty websocket mirror.