Merge branch 'ci-improvements' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Mon, 1 Jul 2019 04:51:56 +0000 (04:51 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Mon, 1 Jul 2019 04:51:56 +0000 (04:51 +0000)
Add PLEROMA_BUILD_ENV to override env for the version generator and use it in the CI for building docs

See merge request pleroma/pleroma!1360


Trivial merge