fix(whitepaper): make layout converge by bumping acrostiche version #42

	name: Documentation Deploy

	on:
	# When a PR is merged (or force push to main)
	push:
	branches: ["main"]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# Enable cargo logs to be in colour
	env:
	CARGO_TERM_COLOR: always

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: write

	# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
	# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	build-reports:
	name: Build Reports using Nix
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- uses: cachix/install-nix-action@v27
	with:
	github_access_token: ${{ secrets.GITHUB_TOKEN }}
	- uses: cachix/cachix-action@v14
	with:
	name: dlr-ft
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	- run: nix build .?submodules=1#wasm-interpreter --print-build-logs
	- run: nix build .?submodules=1#report --print-build-logs
	- name: Deploy to Github Pages
	uses: peaceiris/actions-gh-pages@v4.0.0
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	# Build output to publish to the `gh-pages` branch:
	publish_dir: ./result
	publish_branch: gh-pages
	destination_dir: ./main/

Provide feedback