travis-ci.oilshell.org

This server receives build results from travis-ci.org/oilshell/oil. See Travis CI for Oil for details.