From: rinpatch Date: Mon, 3 Jun 2019 08:35:24 +0000 (+0000) Subject: Merge branch 'chore/ci-speedup' into 'develop' X-Git-Url: https://git.squeep.com/?a=commitdiff_plain;h=e71da4468e8f6e9e4f45a48f6fb266a89eade541;p=akkoma Merge branch 'chore/ci-speedup' into 'develop' CI: Replace mix test and mix coveralls with just mix coveralls See merge request pleroma/pleroma!1235 --- e71da4468e8f6e9e4f45a48f6fb266a89eade541