ci: Remove docs dir placeholder before cloning docs repo (#1671)

This commit is contained in:
Zeglius 2024-09-15 19:39:02 +02:00 committed by GitHub
parent a99c585fcc
commit 5df2c13df4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -139,8 +139,10 @@ jobs:
# Prepare offline documentation
- run: mkdir -p ${{ github.workspace }}/system_files/desktop/shared/usr/share/ublue-os/docs/html
continue-on-error: true
- name: Checkout docs repo
run: git clone https://github.com/KyleGospo/docs.bazzite.gg.git ${{ github.workspace }}/docs
run: rm -r ${{ github.workspace }}/docs && git clone https://github.com/KyleGospo/docs.bazzite.gg.git ${{ github.workspace }}/docs
continue-on-error: true
- name: Build offline documentation
uses: ./.github/workflows/build_mkdocs
continue-on-error: true