Eliminate dot-notation for `Var` and `Valuation` types (#123) #64

	name: docs
	on:
	push:
	branches:
	- "main"

	# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
	permissions:
	contents: read
	pages: write
	id-token: write

	jobs:
	build:
	name: build and deploy documentation.
	runs-on: ubuntu-latest
	steps:
	- name: Checkout 🛎️
	uses: actions/checkout@v3

	- name: Install elan 🕑
	run: \|
	set -o pipefail
	curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- --default-toolchain none -y
	~/.elan/bin/lean --version
	echo "$HOME/.elan/bin" >> $GITHUB_PATH

	- name: Generate docs 📜
	run: \|
	./docgen.sh

	# stolen from mathlib: https://github.com/leanprover-community/mathlib4_docs/blob/1f4ea7657bc377b4298fd400e567471d3a248b2d/.github/workflows/docs.yaml#L79-L86
	- name: Upload artifact 📁
	uses: actions/upload-pages-artifact@v1
	with:
	path: 'build/doc'

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

Provide feedback