Skip to content
Snippets Groups Projects
Commit 93e86b7d authored by René Schöne's avatar René Schöne
Browse files

Merge branch 'dev' into release/0.3.2

parents 5b000659 00325c47
No related branches found
No related tags found
1 merge request!17Version 0.3.2
Pipeline #11944 passed
...@@ -99,10 +99,11 @@ pages: ...@@ -99,10 +99,11 @@ pages:
PAGES_BRANCH: pages PAGES_BRANCH: pages
HTTPS_REMOTE: https://${PROJECT_BOT_USER}:${PROJECT_BOT_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git HTTPS_REMOTE: https://${PROJECT_BOT_USER}:${PROJECT_BOT_TOKEN}@${CI_SERVER_HOST}/${CI_PROJECT_PATH}.git
before_script: before_script:
- apt update && apt install git-lfs
- pip install -r pages/requirements.txt - pip install -r pages/requirements.txt
- git config user.name $PROJECT_BOT_USER - git config user.name $PROJECT_BOT_USER
- git config user.email $PROJECT_BOT_USER@git-st.inf.tu-dresden.de - git config user.email $PROJECT_BOT_USER@git-st.inf.tu-dresden.de
- git fetch origin $PAGES_BRANCH || echo "Pages branch not deployed yet." - git fetch -f origin $PAGES_BRANCH:$PAGES_BRANCH || echo "Pages branch not deployed yet."
- git checkout $CI_COMMIT_SHA - git checkout $CI_COMMIT_SHA
script: script:
- cd pages - cd pages
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment