Skip to content

Jenkins

log in

1. Dashboard
3. All
5. mettalog
7. #148
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 #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)
• build #147 : Changes
  1. run recompile from debug server by jsut pressing enter (details / githubweb)
  2. Export clause_with_arity_in_file_at_position/4 in LSP Server (details / githubweb)
  3. hacky threading system as well as refernces/definition provers etc (details / githubweb)
• build #146 : Changes
  1. add comments (details / githubweb)
  2. add comments (details / githubweb)
• build #145 : Changes
  1. set default src_indents to false (details / githubweb)
• build #144 : Changes
  1. add comments (details / githubweb)
  2. add comments (details / githubweb)
  3. add comments (details / githubweb)
• build #143 : Changes
  1. allow for late definition to be evaluated (details / githubweb)
• build #142 : Changes
  1. update doc on setup-call-cleanup! (details / githubweb)
  2. additional test for setup-call-cleanup (details / githubweb)
  3. docs/tests for hyperpose, sequential, and do (details / githubweb)
• build #141 : Changes
  1. populate variablke names (details / githubweb)
• build #140 : Changes
  1. type_kind (details / githubweb)
• build #139 : Changes
  1. element -> outline (details / githubweb)
  2. xref_source_expired (details / githubweb)