Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #227
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 #227 : Changes
  1. removed unneeded unicode (details / githubweb)
• build #226 : Changes
  1. intermeiate result (details / githubweb)
  2. needing to prefix  user:metta_file_buffer (details / githubweb)
• build #225 : Changes
  1. comments added (details / githubweb)
  2. comments added (details / githubweb)
  3. comments added (details / githubweb)
• build #224 : Changes
  1. tests/docs for open, close, with-output-to (details / githubweb)
  2. docs for load-file, load-ascii (details / githubweb)
  3. docs for include! (details / githubweb)