Repository navigation

Add code interpreter execution instructions #1765

	name: Update DSPy Docs

	on:
	push:
	branches:
	- main
	paths:
	- "docs/**"
	pull_request:
	paths:
	- "docs/**"

	permissions: {}

	jobs:
	build-test:
	if: github.event_name == 'pull_request'
	runs-on: ubuntu-latest
	permissions:
	contents: read
	steps:
	- name: Checkout code
	uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
	with:
	persist-credentials: false
	- name: Install dependencies and build
	run: \|
	cd docs
	pip install -r requirements.txt
	mkdocs build

	update-docs-subtree:
	if: github.event_name == 'push' && github.repository == 'stanfordnlp/dspy'
	runs-on: ubuntu-latest
	permissions:
	contents: read
	steps:
	- uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
	with:
	persist-credentials: false
	fetch-depth: 0
	- name: Push docs to separate repo
	uses: cpina/github-action-push-to-another-repository@55306faa4ed53b815ae49e564af8cfb359d32ae2 # main
	env:
	API_TOKEN_GITHUB: ${{ secrets.GH_PAT }} # zizmor: ignore[secrets-outside-env]
	with:
	source-directory: "docs"
	destination-github-username: "krypticmouse"
	destination-repository-name: "dspy-docs"
	user-email: github-actions@github.com
	target-branch: master