chore: reformat repository with dprint (#370) #11

	name: Deploy mdBook sites to GH Pages

	on:
	push:
	branches: ["main"]
	workflow_dispatch:

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

	# Allow one concurrent deployment
	concurrency:
	group: "pages"
	cancel-in-progress: true

	env:
	CARGO_TERM_COLOR: always
	# TODO: Update the language picker in index.hbs to link new languages.
	# TODO: As long as https://github.com/google/mdbook-i18n-helpers/issues/12 is not implemented, yet.
	# TODO: Activate when first translation is available
	# These are the languages in addition to 'en', which is the main language
	# LANGUAGES: xx

	jobs:
	publish:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Setup Rust cache
	uses: ./.github/workflows/setup-rust-cache

	- name: Install mdbook
	uses: ./.github/workflows/install-mdbook

	- name: Build course in English
	run: mdbook build -d book

	# TODO: Activate when first translation is available
	# - name: Build all translations
	# run: \|
	# for po_lang in ${{ env.LANGUAGES }}; do
	# echo "::group::Building $po_lang translation"
	# MDBOOK_BOOK__LANGUAGE=$po_lang \
	# MDBOOK_OUTPUT__HTML__SITE_URL=/patterns/$po_lang/ \
	# mdbook build -d book/$po_lang
	# echo "::endgroup::"
	# done

	- name: Setup Pages
	id: pages
	uses: actions/configure-pages@v3

	- name: Upload artifact
	uses: actions/upload-pages-artifact@v2
	with:
	path: ./book

	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v2

Provide feedback