Merge branch 'ci/remove-docs-build' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Wed, 6 Nov 2019 01:13:20 +0000 (01:13 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Wed, 6 Nov 2019 01:13:20 +0000 (01:13 +0000)
commitefc4d6d9ecf7f5acad21ebd9274149ed1c041b22
treeaa93ee3d1f54c62ab7e71205438067906374cde8
parentf11eebc18383be7d7b4b037582e4e1e08b74653b
parentd5dc0c4a7e39611ca1aac1691038e5a9ab425dad
Merge branch 'ci/remove-docs-build' into 'develop'

CI: Remove the docs-build job

See merge request pleroma/pleroma!1941