Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #54
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 #54 : Changes
  1. Remove torch/torchvision (details / githubweb)
• build #53 : Changes
  1. allows `source INSTALL.sh --force --easy --swi=src` (details / githubweb)
• build #52 : Changes
  1. max-time! docs and tests (details / githubweb)
• build #51 : Changes
  1. sexpr stuff working (but not annotated) (details / githubweb)
  2. lsp changes (details / githubweb)
  3. mostly working, needs cleanup (details / githubweb)
  4. minimal but working (very basic hover) LSP server (details / githubweb)
• build #50 : Changes
  1. removed the ones i already merged into canary (details / githubweb)
• build #49 : Changes
  1. removed unused docme mizer (details / githubweb)
• build #48 : Changes
  1. removed unused docmes (details / githubweb)