Merge branch 'improve-gitlab-ci' into 'develop'
authorrinpatch <rin@patch.cx>
Thu, 11 Mar 2021 19:14:59 +0000 (19:14 +0000)
committerrinpatch <rin@patch.cx>
Thu, 11 Mar 2021 19:14:59 +0000 (19:14 +0000)
Execute mix deps.get earlier and avoid duplicate invocations if possible

See merge request pleroma/pleroma!3369


Trivial merge