Skip to content

Jenkins

log in

1. Dashboard
3. All
5. mettalog
7. #21
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 #21 : Changes
  1. Updates for or tests (details / githubweb)
  2. Update to CI to put valid links in test output (details / githubweb)
  3. Probably fixes the broken repl that @royward was thiunking was the case (details / githubweb)
  4. correct intersect-elements which needs a collapse on the outside (details / githubweb)
• 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)