Repository navigation

Fix clippy and rustfmt findings #681

	name: Deploy

	on:
	push:
	branches: [master]
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

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

	jobs:
	deploy:
	runs-on: ubuntu-latest
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
	with:
	submodules: recursive
	# Page created/updated dates and version counts are read from git history
	# at build time, so the default shallow clone would flatten them all.
	fetch-depth: 0

	- name: Install Nix
	uses: cachix/install-nix-action@13d8dd58da0234aa297dedd986986ccb8e7f3e24 # v31
	with:
	nix_path: nixpkgs=channel:nixos-unstable

	- name: Install Rust toolchain
	run: nix develop . --command rustup toolchain install --profile minimal stable --target wasm32-unknown-unknown

	- name: Build site
	run: nix develop . --command cargo run --locked --no-default-features --manifest-path tools/site/Cargo.toml -- build --prod

	- name: Upload artifact
	uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5.0.0
	with:
	path: public

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@368f82528645a54fb793d4d04e342629a3f51346 # v5.0.1