123456789101112131415161718192021222324252627282930 |
- name: build_docs
-
- # execute this docs build workflow automatically when new push happens in any branch
- on:
- push:
- paths:
- - 'docs/**'
-
- jobs:
-
- build_docs_job:
- runs-on: ubuntu-latest
- container: debian:buster-slim
-
- steps:
-
- - name: Prereqs
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- run: |
- apt-get update
- apt-get install -y git
- git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
- shell: bash
-
- - name: Execute script to build our documentation and update pages
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- run: "docs/build_docs.sh"
- shell: bash
|