Skip to content

modified build_and_deploy #3

modified build_and_deploy

modified build_and_deploy #3

name: Build & Deploy Documentation
on:
push:
branches: [development]
concurrency:
group: ${{ github.ref }}-${{ github.head_ref }}-ci-workflow
cancel-in-progress: true
permissions:
contents: write # Required to read repository contents
pages: write # Required to deploy GitHub Pages
id-token: write # Required for deploying GitHub Pages
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install dependencies
run: |
python3 -m pip install --upgrade pip
python3 -m pip install -r Docs/requirements.txt
- name: Build documentation
run: |
cd Docs
make clean
make html
touch build/html/.nojekyll
- name: List modified files
run: git status
- name: Upload documentation artifact
uses: actions/upload-pages-artifact@v3
with:
path: Docs/build/html
deploy:
runs-on: ubuntu-latest
needs: build
if: github.event_name == 'push' && github.ref == 'refs/heads/development'
steps:
- name: deploy to gh-pages branch
uses: actions/deploy-pages@v2
with:
token: ${{ secrets.GITHUB_TOKEN }}