Repository navigation

Build and deploy an updated version of the website

docs: specify mdbook 0.4.x in deployment instructions #1168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check for dead links	1m 15s
Build Pan Docs	49s
Deploy to GitHub pages	8s
Check for dead links	3m 29s
Build Pan Docs	56s
Deploy to GitHub pages	8s
	6m 45s