Skip to content

Jenkins

log in

1. Dashboard
3. All
5. mettalog
7. #156
9. 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 #156 : Changes
  1. handle_catcher(exit) :- ! (details / githubweb)
• build #155 : Changes
  1. in_answer_io using memfile isntead of disk (details / githubweb)
• build #154 : Changes
  1. buffer the answer outpout into temp file but will change to becoem a memfile (details / githubweb)
• build #153 : Changes
  1. get rid of extra_answer_padding (details / githubweb)
• build #152 : Changes
  1. do not halt on metta>@ (details / githubweb)
• build #151 : Changes
  1. fixed line ending issue that was messing with didChange, and an escaped character in string issue (details / githubweb)
  2. syntax highlighting (details / githubweb)
  3. improved syntax highlighting (details / githubweb)
• build #150 : Changes
  1. update docs for Minimal MeTTa functions (details / githubweb)
  2. tests for Minimal MeTTa (details / githubweb)
• build #149 : Changes
  1. add comments (details / githubweb)
  2. add comments (details / githubweb)
  3. add comments (details / githubweb)
• build #148 : Changes
  1. begining of codeActions (details / githubweb)
  2. Pre worker pool (details / githubweb)
  3. lsp_worker_threads(0) (details / githubweb)
  4. anonymous QueueId (details / githubweb)
  5. @doc for Bool (details / githubweb)
  6. Group declarations by type (details / githubweb)