Started 7 days 3 hr ago
Took 7 min 26 sec on research-jenkins-worker-08

Success Build #505 (Jan 12, 2019 6:17:37 AM)

Changes
  1. Adding a way to specify out of core from the command line (#277) (commit: 3542226076bd03473b524889959bdf3b52531ee8) (detail / githubweb)
  2. Adding out of core information to the documentation (#406) (commit: 98498d12f99c413dd82370c09cbd3ccf6b0e4c06) (detail / githubweb)

Started by timer

Revision: 98498d12f99c413dd82370c09cbd3ccf6b0e4c06
  • refs/remotes/origin/master