From f8061fb79d0bd243164f4bc7b85985816e5875f2 Mon Sep 17 00:00:00 2001 From: mathieui Date: Thu, 17 Apr 2025 21:05:16 +0200 Subject: [PATCH] fix: correct minor details for doc generation --- .woodpecker/docs.yaml | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/.woodpecker/docs.yaml b/.woodpecker/docs.yaml index d228bbd..6153bbd 100644 --- a/.woodpecker/docs.yaml +++ b/.woodpecker/docs.yaml @@ -1,8 +1,6 @@ # Exclude page pipeline to be run on "pages" branch when: - branch: - exclude: pages - event: [push, pull_request] + event: [pull_request, push] clone: - name: git @@ -35,16 +33,17 @@ steps: # Git configuration - git config --global user.email "ci-test@example.com" - git config --global user.name "CI" - - git clone -b pages https://$CODEBERG_TOKEN@codeberg.org/$CI_REPO.git $CI_REPO_NAME + - git clone https://$CODEBERG_TOKEN@codeberg.org/biboumi/pages.git pages # Copy build step output to repository folder - - cp -ar build/html $CI_REPO_NAME/ + - cp -ar build/html/* pages/doc/ # Needed for custom domains - - cp .domains $CI_REPO_NAME || true # Ignore if it doesn't exist + - cp .domains pages || true # Ignore if it doesn't exist # Commit and push all static files with pipeline started timestamp - - cd $CI_REPO_NAME + - cd pages - git add . - git commit -m "CI ${CI_COMMIT_SHA}" - git push when: - event: push + - event: push + branch: master