logo

pleroma

My custom branche(s) on git.pleroma.social/pleroma/pleroma
commit: efc4d6d9ecf7f5acad21ebd9274149ed1c041b22
parent: f11eebc18383be7d7b4b037582e4e1e08b74653b
Author: Haelwenn <contact+git.pleroma.social@hacktivis.me>
Date:   Wed,  6 Nov 2019 01:13:20 +0000

Merge branch 'ci/remove-docs-build' into 'develop'

CI: Remove the docs-build job

See merge request pleroma/pleroma!1941

Diffstat:

M.gitlab-ci.yml16----------------
1 file changed, 0 insertions(+), 16 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml @@ -29,22 +29,6 @@ build: - mix deps.get - mix compile --force -docs-build: - stage: build - only: - - master@pleroma/pleroma - - develop@pleroma/pleroma - variables: - MIX_ENV: dev - PLEROMA_BUILD_ENV: prod - script: - - mix deps.get - - mix compile - - mix docs - artifacts: - paths: - - priv/static/doc - benchmark: stage: benchmark variables: