Repository navigation

Release docs #1881

	name: Release docs

	on:
	schedule:
	# Triggers the workflow every day at 17:30 UTC
	# * is a special character in YAML so you have to quote this string
	- cron: '30 17 * * *'
	push:
	branches:
	- main
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	- name: Setup .NET
	uses: actions/setup-dotnet@v6
	with:
	dotnet-version: 10.0.x
	- name: Build docs
	run: dotnet fsi build.fsx
	- name: Deploy
	uses: peaceiris/actions-gh-pages@v4
	with:
	personal_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./output
	publish_branch: gh-pages
	force_orphan: true