Skip to content

Jenkins

log in

1. Dashboard
3. All
5. mettalog
7. #177
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 #177 : Changes
  1. add comments (details / githubweb)
  2. add comments (details / githubweb)
  3. add comments (details / githubweb)
  4. add comments (details / githubweb)
  5. clarify prolog mode (details / githubweb)
• build #176 : Changes
  1. Fixed the loading of stdlib_mettalog for now (details / githubweb)