update infra & docs (#497) #77

	---
	name: Build Docs
	on:
	push:
	tags:
	- v*
	workflow_dispatch:
	inputs:
	version:
	description: Manual Doc Build Reason
	default: test
	required: false
	jobs:
	docs:
	name: build & push docs
	runs-on: ${{ matrix.os }}
	timeout-minutes: 90
	strategy:
	matrix:
	os:
	- ubuntu-latest
	environment-file:
	- ci/py313_spopt-latest.yaml
	experimental:
	- false
	defaults:
	run:
	shell: bash -l {0}
	steps:
	- name: checkout repo
	uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: setup micromamba
	uses: mamba-org/setup-micromamba@v2
	with:
	environment-file: ${{ matrix.environment-file }}
	micromamba-version: latest
	- name: install pulp via pip
	run: pip install pulp
	- name: install package
	run: pip install .
	- name: make docs
	run: cd docs; make html
	- name: Publish to Github Pages
	uses: peaceiris/actions-gh-pages@v4
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: docs/build/html/
	keep_files: false

Provide feedback