Skip to content

Update PKI_CA_OpenShift.mediawiki #3

Update PKI_CA_OpenShift.mediawiki

Update PKI_CA_OpenShift.mediawiki #3

Workflow file for this run

name: Publish Dogtag PKI website
on:
push:
branches:
- main
# https://docs.github.com/en/rest/overview/permissions-required-for-github-apps
permissions:
contents: read
pages: write
id-token: write
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
env:
DOMAIN: ${{ vars.DOMAIN || format('{0}.github.io', github.repository_owner) }}
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Setup Pages
uses: actions/configure-pages@v3
- name: Set up Python
uses: actions/setup-python@v3
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get -y install pandoc
pip install sphinx sphinx-book-theme myst_parser
- name: Build RST pages
run: scripts/build-rst.sh
- name: Build HTML pages
run: scripts/build-html.sh
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
path: _build/html
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2