Repository navigation

Merge branch 'master' of github.com:float3/float3.github.io #607

	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/[email protected]
	with:
	submodules: recursive

	- name: Install Nix
	uses: cachix/install-nix-action@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/[email protected]
	with:
	path: public

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/[email protected]