fix: correct minor details for doc generation

This commit is contained in:
mathieui
2025-04-17 22:03:20 +02:00
parent fc0312b272
commit f8061fb79d
+7 -8
View File
@@ -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