This seems to be the preferred continuous integration platform for other projects within https://github.com/pulibrary