Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #178
7. Changes since last success

Status

Changes

Console Output

View Build Information

Polling Log

Metadata

Timings

Git Build Data

Changes since last success

Compare environment

Previous Build

Next Build

• build #178 : Changes
  1. checkpoint for lsp #0 (details / githubweb)
  2. isolate doc_text_d4 from doc_text which is full text (details / githubweb)
  3. updates to LSP server and mettalog that are required for the LSP Server (details / githubweb)