Nightly doc-gen deployment #164

	name: Nightly doc-gen deployment

	on:
	schedule:
	- cron: '0 6 * * *' # runs at 06:00 UTC every day (01:00 EST)
	# - cron: '0 22 * * *' # runs at 22:00 UTC every day (17:00 EST)

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read # Read access to repository contents
	id-token: write # Required to upload the site to GitHub Pages
	pages: write # Write access to GitHub Pages

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout project
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	fetch-depth: 0 # Fetch all history for all branches and tags

	- name: Build and lint the project.
	id: build-lean
	uses: leanprover/lean-action@f807b338d95de7813c5c50d018f1c23c9b93b4ec # v1.2.0

	- name: Build project documentation.
	id: build-docgen
	uses: leanprover-community/docgen-action@main
	# with:
	# Uncomment the next line if you wish to build a blueprint alongside your repository.
	# blueprint: true

Provide feedback