From f02af54356ddcf59ff3149fc505d80122a1884da Mon Sep 17 00:00:00 2001 From: Anton Hvornum Date: Tue, 21 Nov 2023 22:27:10 +0100 Subject: Testing github pages (#2234) * Testing github pages * Adding libparted-dev to the ubuntu machine (I'd like to move away from ubuntu, but the runner recommended it) * Debugging * changed to master branch --- .github/workflows/github-pages.yml | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 .github/workflows/github-pages.yml (limited to '.github/workflows/github-pages.yml') diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml new file mode 100644 index 00000000..ebea712a --- /dev/null +++ b/.github/workflows/github-pages.yml @@ -0,0 +1,33 @@ +name: documentation + +on: [push, pull_request, workflow_dispatch] + +permissions: + contents: write + +jobs: + docs: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - uses: actions/setup-python@v3 + - name: debug + run: | + 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 + - 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' }} + with: + publish_branch: master + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: _build/ + force_orphan: true \ No newline at end of file -- cgit v1.2.3-54-g00ecf