tree a5eff886819959de5bd376eb691446bdf426292e
parent 0cb7c858c2ddc5e8b6e47136d3534a2408eb458e
author Luca Favatella <lucafavatella@users.noreply.github.com> 1460922851 +0100
committer Luca Favatella <lucafavatella@users.noreply.github.com> 1460922885 +0100

Migrate Travis CI to container-based infrastructure