Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #115
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 #115 : Changes
  1. begun the help! / get-doc interface that will work via the repl (details / githubweb)
  2. predicate_help_fallback_hook/4 (details / githubweb)
  3. Impl if-decons-expr (details / githubweb)