Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnton Hvornum <anton@hvornum.se>2023-11-21 22:27:10 +0100
committerGitHub <noreply@github.com>2023-11-21 22:27:10 +0100
commitf02af54356ddcf59ff3149fc505d80122a1884da (patch)
tree8f26bc2a83561e5d3a8febc950bc8d491db6ee6a
parentd62a5ff838f574311a24c21205905a255d30e12c (diff)
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
-rw-r--r--.github/workflows/github-pages.yml33
1 files changed, 33 insertions, 0 deletions
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