index : archinstall32 | |
Archlinux32 installer | gitolite user |
summaryrefslogtreecommitdiff |
author | Anton Hvornum <anton@hvornum.se> | 2023-11-21 22:27:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-21 22:27:10 +0100 |
commit | f02af54356ddcf59ff3149fc505d80122a1884da (patch) | |
tree | 8f26bc2a83561e5d3a8febc950bc8d491db6ee6a /.github | |
parent | d62a5ff838f574311a24c21205905a255d30e12c (diff) |
-rw-r--r-- | .github/workflows/github-pages.yml | 33 |
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 |