Fix CI pages deploy

This commit is contained in:
Dominic Grimm 2022-11-01 12:28:08 +01:00
parent 62c31a72b2
commit df66049cc1
No known key found for this signature in database
GPG key ID: 6F294212DEAAC530

View file

@ -136,10 +136,13 @@ steps:
path: /tmp/pages
commands:
- git clone --depth 1 --branch pages https://git.dergrimm.net/mentorenwahl/mentorenwahl.git /tmp/pages
- rm -rf /tmp/pages/*
- cp -r ./docs/book/* /tmp/pages
- mkdir -p /tmp/pages/_api/backend
- cp -r ./backend/docs/* /tmp/pages/_api/backend
- ls -la /tmp/pages
- find /tmp/pages -not -name '.git' -delete
- ls -la /tmp/pages
# - rm -rf /tmp/pages/*
# - cp -r ./docs/book/* /tmp/pages
# - mkdir -p /tmp/pages/_api/backend
# - cp -r ./backend/docs/* /tmp/pages/_api/backend
depends_on:
- restore-cache
- name: deploy-pages