Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #147
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 #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)