Book

make sure that SmallRng uses a unique seed per call #19

	name: Book

	on:
	workflow_dispatch:
	push:
	tags:
	- '[0-9]+.[0-9]+.[0-9]+'

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	env:
	RUST_BACKTRACE: full

	jobs:
	build:
	name: Build and deploy book
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Setup Chrome (for static_export)
	uses: browser-actions/setup-chrome@v1
	with:
	chrome-version: 'latest'
	install-chromedriver: true
	- run: cargo install mdbook --no-default-features --features search --vers "^0.4" --locked --quiet
	- name: Build examples
	run: .github/scripts/build-book-examples.sh ${{ github.workspace }}/examples
	- run: mdbook build docs/book
	- name: Checkout gh-pages branch
	run: \|
	git fetch origin gh-pages:gh-pages
	git checkout gh-pages
	- name: Overwrite book content
	run: \|
	rm -rf content
	cp -r gh-pages/content .
	- name: Trigger GitHub Pages Bot
	run: \|
	git config --global user.name 'github-actions[bot]'
	git config --global user.email 'github-actions[bot]@users.noreply.github.com'

	git add content
	if [ "${{ github.ref_type }}" == "tag" ]; then
	git commit --allow-empty -m "update book for release ${{ github.ref }}"
	else
	git commit --allow-empty -m 'update book from commit ${{ github.sha }}'
	fi
	git push origin gh-pages

Provide feedback