search

rheem-ecosystem / rheem

Rheem - a cross-platform data processing system
https://rheem-ecosystem.github.io
5 stars 0 forks source link

Enable continuous integration with Travis #74

Closed sekruse closed 7 years ago

sekruse commented 7 years ago

Currently, our Jenkins seems to be down. Additionally, it does not build PRs. So it is sensible to add also CI with Travis.