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)