Skip to content
Snippets Groups Projects
Commit f79ff6ae authored by Kostis Trantzas's avatar Kostis Trantzas
Browse files

mike plugin initial try at develop branch

parent 1499c530
No related branches found
No related tags found
2 merge requests!11Merging "develop" documentation into "main" to tag it as 2024Q2,!9Draft: Added documentation on primitives support feature and NSLCM status
Pipeline #3930 failed
pages: pages:
stage: deploy stage: deploy
image: python:latest image: python:latest
script: variables:
- pip install mkdocs-material PIP_CACHE_DIR: "$CI_PROJECT_DIR/.cache/pip"
- mkdocs build --site-dir public PAGES_BRANCH: develop
HTTPS_REMOTE: https://gitlab-ci-token:${ACCESS_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git
before_script:
- pip install mkdocs-material mike
- git config user.name $GITLAB_USER_NAME
- git config user.email $GITLAB_USER_EMAIL
- git fetch origin $PAGES_BRANCH && git -b checkout $PAGES_BRANCH origin/$PAGES_BRANCH || git checkout $PAGES_BRANCH || echo "Pages branch not deployed yet."
- git checkout $CI_COMMIT_SHA
script:
- mike deploy --rebase --prefix public -r $HTTPS_REMOTE -p -b $PAGES_BRANCH -u $CI_COMMIT_TAG latest
- mike set-default --rebase --prefix public -r $HTTPS_REMOTE -p -b $PAGES_BRANCH latest
- git checkout $PAGES_BRANCH -- public/
artifacts: artifacts:
paths: paths:
- public - public/
only:
- tags
rules: rules:
- if: '$CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH' - if: '$CI_COMMIT_BRANCH != $CI_DEFAULT_BRANCH'
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment