[iris] Chunk terminal-task history eviction across transactions #7661

	name: Marin - Build documentation

	on:
	push:
	branches:
	- main
	pull_request:

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	changes:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: read
	outputs:
	should_run: ${{ steps.filter.outputs.relevant }}
	steps:
	- uses: actions/checkout@v4
	- uses: dorny/paths-filter@v3
	id: filter
	with:
	filters: \|
	relevant:
	- 'docs/**'
	- 'mkdocs.yml'
	- '.github/workflows/marin-docs.yaml'

	build-docs:
	needs: changes
	if: needs.changes.outputs.should_run == 'true'
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v4

	- name: Install uv and Python
	uses: astral-sh/setup-uv@v6
	with:
	version: "0.7.20"
	python-version: "3.11"
	enable-cache: true

	- name: Set up Node.js
	uses: actions/setup-node@v4
	with:
	node-version: "22"

	- name: Set up Python
	run: uv python install

	- name: Install dependencies
	run: uv sync --package marin --group dev

	- name: Validate docs source links
	run: uv run python infra/check_docs_source_links.py

	- name: Build documentation
	run: \|
	uv run mkdocs build --strict

Provide feedback