Setup initial Jenkins CI Integration
tortmayr opened this issue · comments
Should build every PR and report back to Github.
Deploy step should only be initiated on master (can be mocked for now, actual deploy will be handled in a follow up issue)
eclipse-glsp / glsp-server
Java-based server framework of the graphical language server platform