Skip to content

Commit

Permalink
Add pipeline for docs using GitHub Pages
Browse files Browse the repository at this point in the history
  • Loading branch information
borodun committed Sep 29, 2023
1 parent 764642b commit 739ecbc
Showing 1 changed file with 51 additions and 0 deletions.
51 changes: 51 additions & 0 deletions .github/workflows/deploy-docs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,51 @@
name: Build and Deploy Docs

# Deploy docs only for master
on:
push:
branches:
- "master"

# Allow deployment to GitHub Pages
permissions:
pages: write
id-token: write

jobs:
deploy-docs:

name: Deploy Docs

environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}

runs-on: ubuntu-latest

steps:
- name: Install dependencies
run: |
sudo apt update && sudo apt install -y \
docbook-xml \
docbook-xsl \
libxml2-utils \
xsltproc \
fop
- name: Clone pgSphere
uses: actions/checkout@v4

- name: Build docs
run: make -C doc

- name: Setup Pages
uses: actions/configure-pages@v3

- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: 'doc/html'

- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2

0 comments on commit 739ecbc

Please sign in to comment.