GitHub pages improvement (#2237)

* Moved to arch container

* Swapped branch for testing

* Removed publish if condition for now

* I think I got it this time, publish_branch has to be separate in order for the runner to create it and have access to pushing things?

* Missing 'git' depndency, to work with git heh
This commit is contained in:
Anton Hvornum 2023-11-21 23:02:47 +01:00 committed by GitHub
parent f02af54356
commit 349c21d7a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 6 deletions

View File

@ -8,6 +8,9 @@ permissions:
jobs:
docs:
runs-on: ubuntu-latest
container:
image: archlinux:latest
options: --privileged
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
@ -16,18 +19,15 @@ jobs:
whoami
- name: Install pre-dependencies
run: |
sudo apt update && sudo apt install libparted-dev
- name: Install dependencies
run: |
pip install sphinx sphinx_rtd_theme pyparted simple-term-menu
pacman -Sy --noconfirm git python-pyparted python-simple-term-menu python-setuptools python-sphinx python-sphinx_rtd_theme python-build python-installer python-wheel
- name: Sphinx build
run: |
sphinx-build docs _build
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
# if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
publish_branch: master
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/
force_orphan: true