Fold agent-facing text into blocks; make durable ordering a derivatio… #322

	name: CI (main)

	on:
	push:
	branches:
	- main

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build:
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v2
	- name: setup rust toolchain
	run: rustup update && rustup toolchain install
	- uses: taiki-e/install-action@v2
	with:
	tool: nextest
	- uses: taiki-e/install-action@v2
	with:
	tool: mdbook
	- uses: taiki-e/install-action@v2
	with:
	tool: mdbook-toc
	- name: install sitemap generator
	run: npm install --global static-sitemap-cli@2.2.7
	- name: check and build
	run: cargo x ci
	- name: check sitemap
	run: mini-lsm-book/sitemap.sh --check
	- uses: actions/upload-pages-artifact@v3
	with:
	path: mini-lsm-book/book

	deploy:
	needs: build
	permissions:
	pages: write
	id-token: write
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-22.04
	if: github.repository == 'skyzh/mini-lsm'
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Navigation Menu