Skip to content

Merge pull request #434 from theGreatHerrLebert/fix/sdk-load-fallback #358

Merge pull request #434 from theGreatHerrLebert/fix/sdk-load-fallback

Merge pull request #434 from theGreatHerrLebert/fix/sdk-load-fallback #358

Workflow file for this run

name: Build Documentation
on:
push:
branches:
- main
tags:
- '*'
pull_request:
branches:
- main
workflow_dispatch:
jobs:
# TODO: Python docs need a Sphinx config for the new packages/ layout.
# The old imspy/ monolith directory no longer exists. Re-enable this job
# once a docs/conf.py is set up that covers the split packages.
#
# build-python-docs:
# runs-on: ubuntu-latest
#
# steps:
# - name: Checkout Repository
# uses: actions/checkout@v4
#
# - name: Set up Python
# uses: actions/setup-python@v5
# with:
# python-version: '3.11'
#
# - name: Install Dependencies
# run: |
# pip install build
# for pkg in packages/imspy-core packages/imspy-predictors packages/imspy-dia packages/imspy-search packages/imspy-simulation packages/imspy-vis; do
# pip install "$pkg"
# done
# pip install sphinx sphinx-rtd-theme
#
# - name: Build Documentation
# run: |
# mkdir -p docs/build/html
# sphinx-build docs/source/ docs/build/html
#
# - name: Deploy to GitHub Pages (dev documentation)
# if: github.ref == 'refs/heads/main'
# uses: peaceiris/actions-gh-pages@v4
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: docs/build/html
# destination_dir: main/imspy
#
# - name: Deploy to GitHub Pages (release documentation)
# if: startswith(github.ref, 'refs/tags/')
# uses: peaceiris/actions-gh-pages@v4
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: docs/build/html
# destination_dir: '${{ github.ref_name }}/imspy'
build-rust-docs:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.11'
- name: Build Documentation
run: |
rustup update
cargo doc --no-deps --workspace --exclude imspy-connector --exclude imsjl_connector
- name: Deploy to GitHub Pages (dev documentation)
if: github.ref == 'refs/heads/main'
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: target/doc
destination_dir: main
- name: Deploy to GitHub Pages (release documentation)
if: startswith(github.ref, 'refs/tags/')
uses: peaceiris/actions-gh-pages@v4
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: target/doc
destination_dir: '${{ github.ref_name }}'