Skip to content

Merge pull request #5 from Griffin-Group/njit #32

Merge pull request #5 from Griffin-Group/njit

Merge pull request #5 from Griffin-Group/njit #32

Workflow file for this run

name: Build/Publish Develop Docs
on:
push:
branches:
- main
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: actions/setup-python@v5
with:
python-version: 3.11
- name: Install Dependencies
run: |
pip install mkdocs-material
pip install mike mkdocstrings mkdocstrings-python
pip install mkdocs-literate-nav mkdocs-gen-files mkdocs-section-index
- name: Setup Docs Deploy
run: |
git config --global user.name "Docs Deploy"
git config --global user.email "docs.deploy@example.co.uk"
- name: Build Docs Website
run: |
mike deploy develop
mike set-default --push latest