From: lain Date: Mon, 11 Nov 2019 13:13:20 +0000 (+0000) Subject: Merge branch 'update-ci' into 'develop' X-Git-Url: https://git.squeep.com/?a=commitdiff_plain;h=4690cf6394c68fb6cd3f243146dc444b6b88bb43;p=akkoma Merge branch 'update-ci' into 'develop' Use PG12 in CI for the RUM pipeline Closes #1377 See merge request pleroma/pleroma!1969 --- 4690cf6394c68fb6cd3f243146dc444b6b88bb43