Speed up `Refaster` bug checker #237

	name: Update `error-prone.picnic.tech` website content
	on:
	pull_request:
	push:
	branches: [ master, website ]
	permissions:
	contents: read
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	jobs:
	build:
	runs-on: ubuntu-22.04
	steps:
	- name: Check out code
	uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
	with:
	persist-credentials: false
	- uses: ruby/setup-ruby@8575951200e472d5f2d95c625da0c7bec8217c42 # v1.161.0
	with:
	working-directory: ./website
	bundler-cache: true
	- name: Configure Github Pages
	uses: actions/configure-pages@1f0c5cde4bc74cd7e1254d0cb4de8d49e9068c7d # v4.0.0
	- name: Generate documentation
	run: ./generate-docs.sh
	- name: Build website with Jekyll
	working-directory: ./website
	run: bundle exec jekyll build
	- name: Validate HTML output
	working-directory: ./website
	# XXX: Drop `--disable_external true` once we fully adopted the
	# "Refaster rules" terminology on our website and in the code.
	run: bundle exec htmlproofer --disable_external true --check-external-hash false ./_site
	- name: Upload website as artifact
	uses: actions/upload-pages-artifact@0252fc4ba7626f0298f0cf00902a25c6afc77fa8 # v3.0.0
	with:
	path: ./website/_site
	deploy:
	if: github.ref == 'refs/heads/website'
	needs: build
	permissions:
	id-token: write
	pages: write
	runs-on: ubuntu-22.04
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@7a9bd943aa5e5175aeb8502edcc6c1c02d398e10 # v4.0.2

Provide feedback