Weekly build for source

See the parent directory for more information about the weekly builds.

This build finished at Mon Jul 9 08:28:00 UTC 2018.

Logs are in the log/success directory.