Skip to content

Jenkins

log in

1. Dashboard
3. mettalog
5. #310
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 #310 : Changes
  1. Update README.md (details / githubweb)
• build #309 : Changes
  1. MeTTaRust (details / githubweb)
• build #308 : Changes
  1. !(pragma! interpreter bare-minimal) (details / githubweb)
  2. Fixed a typo thaqt was making assertEqualToResult appear twice" (details / githubweb)
• build #307 : Changes
  1. start of nqueebs explaiantion (details / githubweb)
• build #306 : Changes
  1. quote the json (details / githubweb)
• build #305 : Changes
  1. toplevel_form -> toplevel (details / githubweb)
• build #304 : Changes
  1. re-run-file (details / githubweb)
• build #303 : Changes
  1. Lots of hooks (details / githubweb)
  2. Lots of hooks (details / githubweb)
  3. Still need to make the callbacks file load (details / githubweb)