Render site #406

	name: Render site

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the main branch
	push:
	branches: [main]
	schedule:
	- cron: "0 15 * * *"

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	render:
	# Prepares the 'bazelversion' axis of the test matrix
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3

	- name: Generate
	run: ./scripts/render_ghpages.sh
	env:
	OUTPUT_ROOT: ./public

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	# The gitstats/ folder isn't generated by the script, because it's slow.
	# For now, just leave those files alone when publishing.
	keep_files: true
	# Let GitHub Pages crawl our markdown and build a site
	enable_jekyll: true

Provide feedback