Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #119
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 #119 : Changes
  1. snapshot (details / githubweb)
  2. fixed line issues in LSP (details / githubweb)
  3. reverts (details / githubweb)
  4. reverts (details / githubweb)
  5. reverts (details / githubweb)
• build #118 : Changes
  1. trace_on_pass (details / githubweb)
• build #117 : Changes
  1. make_metta_file_buffer plus --help (details / githubweb)
  2. make_metta_file_buffer plus 2 (details / githubweb)
• build #116 : Changes
  1. Forgotten code to unbreka the LSP Server (details / githubweb)
• build #115 : Changes
  1. begun the help! / get-doc interface that will work via the repl (details / githubweb)
  2. predicate_help_fallback_hook/4 (details / githubweb)
  3. Impl if-decons-expr (details / githubweb)
• build #114 : Changes
  1. Couple of early on tests (details / githubweb)
• build #113 : Changes
  1. Removed lines breakign the LSP Server (details / githubweb)
  2. Fixed py_nth (details / githubweb)
• build #112 : Changes
  1. python stuff added to .gitignore (details / githubweb)
  2. Update to LSP Server README.md about the vsce packaging (details / githubweb)
• build #111 : Changes
  1. comments (details / githubweb)
  2. comments (details / githubweb)
  3. comments (details / githubweb)
• build #110 : Changes
  1. python (details / githubweb)
  2. quietly checking if requirements are still met (details / githubweb)
• build #109 : Changes
  1. refactored the files (details / githubweb)
  2. Update README.md (details / githubweb)
  3. Update README.md (details / githubweb)
• build #108 : Changes
  1. -    throw(i_loaded_this) (details / githubweb)
• build #107 : Changes
  1. with_enc (details / githubweb)