Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #20
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 #20 : Changes
  1. .answers files (details / githubweb)
  2. fixed to pldoc entries (details / githubweb)
  3. using a lambda in report_progress_so_far/4 (details / githubweb)
• build #19 : Changes
  1. Update to tests like intersection (details / githubweb)
• build #18 : Changes
  1. fixed type that coused tests to fail (details / githubweb)
• build #17 : Changes
  1. show progress per test (details / githubweb)