Repository navigation

add missing link #33

	name: Blueprint Pages

	on:
	pull_request:
	push:
	branches:
	- main
	workflow_dispatch:

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

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

	jobs:
	build:
	runs-on: ubuntu-latest
	name: Build Blueprint site
	steps:
	- name: Checkout project
	uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
	- uses: actions/configure-pages@v5
	- name: Install elan
	run: \|
	curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- -y
	echo "$HOME/.elan/bin" >> "$GITHUB_PATH"
	- name: Show tool versions
	run: \|
	lean --version
	lake --version
	- name: Fetch Mathlib cache
	run: lake exe cache get \|\| true
	- name: Build Blueprint site
	run: ./scripts/ci-pages.sh
	- name: Upload Pages artifact
	uses: actions/upload-pages-artifact@v4
	with:
	path: _out/site/html-multi

	deploy:
	name: Deploy Pages
	if: github.event_name != 'pull_request'
	needs: build
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- id: deployment
	uses: actions/deploy-pages@v4