Merge pull request #3074 from mfournier/ci-setup
authorFlorian Forster <ff@octo.it>
Tue, 19 Feb 2019 19:17:50 +0000 (20:17 +0100)
committerGitHub <noreply@github.com>
Tue, 19 Feb 2019 19:17:50 +0000 (20:17 +0100)
Re-implement CI using cirrus-ci


Trivial merge