Repository navigation

Fix 2 test #70

	name: Deploy mdBook site to Pages

	on:
	pull_request:
	# push:
	# branches:
	# - main

	# workflow_dispatch:
	# inputs:
	# ref:
	# required: false
	# type: string
	# default: main
	# description: \|
	# The git ref to deploy (ex. 'main', 'branch', '<commit sha>')

	# publish-domain:
	# required: false
	# type: string
	# default: "component-model.bytecodealliance.org"
	# description: \|
	# The domain to which to publish (ex. 'component-model.bytecodealliance.org')

	permissions: {}

	concurrency:
	group: "pages"
	cancel-in-progress: false

	jobs:
	build:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pages: write
	steps:
	- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	ref: ${{ inputs.ref \|\| 'main' }}

	- name: build mdbook
	uses: ./.github/actions/mdbook
	with:
	publish-pages-artifact: true
	publish-domain: ${{ inputs.publish-domain \|\| 'component-model.bytecodealliance.org' }}

	deploy:
	if: ${{ github.repository_owner == 'bytecodealliance' }}
	runs-on: ubuntu-latest
	permissions:
	pages: write
	id-token: write
	needs:
	- build
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5