Skip to content

Merge branch 'roboflow:develop' into develop #5

Merge branch 'roboflow:develop' into develop

Merge branch 'roboflow:develop' into develop #5

name: Docs WorkFlow - Develop Tag πŸ“š
on:
push:
branches:
- develop
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.event_name == 'push' && github.ref}}
cancel-in-progress: true
permissions:
contents: write
pages: write
pull-requests: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: πŸ”„ Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: 🐍 Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.10'
- name: πŸ“¦ Install mkdocs-material
run: pip install "mkdocs-material"
- name: πŸ“¦ Install mkdocstrings[python]
run: pip install "mkdocstrings[python]"
- name: πŸ“¦ Install mkdocs-material[imaging]
run: pip install "mkdocs-material[imaging]"
- name: πŸ“¦ Install mike
run: pip install "mike"
- name: πŸ“¦ Install mkdocs-git-revision-date-localized-plugin
run: pip install "mkdocs-git-revision-date-localized-plugin"
- name: πŸ“¦ Install JupyterLab
run: pip install jupyterlab
- name: πŸ“¦ Install mkdocs-jupyter
run: pip install mkdocs-jupyter
- name: πŸ“¦ Install mkdocs-git-committers-plugin-2
run: pip install mkdocs-git-committers-plugin-2
- name: βš™οΈ Configure git for github-actions
run: |
git config --global user.name "github-actions[bot]"
git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
- name: πŸš€ Deploy MkDoc-Material with mike
run: |
MKDOCS_GIT_COMMITTERS_APIKEY=${{ secrets.GITHUB_TOKEN }} mike deploy --push develop