Skip to content

Merge branch 'dev/docs' into docs-build #16

Merge branch 'dev/docs' into docs-build

Merge branch 'dev/docs' into docs-build #16

Workflow file for this run

name: Build and Deploy Docs
on:
push:
branches: [ docs-build ]
jobs:
deploy:
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
contents: read
steps:
- uses: actions/checkout@v4
- uses: actions/setup-python@v4
with:
python-version: '3.x'
- run: pip install mkdocs mkdocs-material 'mkdocstrings[python]' mkdocs-gen-files
# Install packages so mkdocstrings can import them
- run: pip install -e sdk
- run: pip install -e instrumentation-packages/codon-instrumentation-langgraph
- run: mkdocs build
# Upload artifact for Pages
- uses: actions/upload-pages-artifact@v3
with:
path: ./site
# Deploy from artifact
- uses: actions/deploy-pages@v4