Add missing functions to property-arbs docs (#3945) #18

	name: docs
	on:
	workflow_dispatch:
	push:
	branches:
	- master
	paths:
	- 'documentation/**'
	permissions:
	contents: read

	jobs:
	deploy:
	permissions:
	contents: write # for Git to git push
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-node@v3
	with:
	node-version: '18.4.0'
	- name: Release to GitHub Pages
	env:
	USE_SSH: true
	GIT_USER: git
	run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com
	npm --prefix documentation ci
	npm --prefix documentation run build
	mv documentation/build docs
	echo "kotest.io" > docs/CNAME
	echo "kotest.io" > CNAME
	git add docs -f
	git commit -m "Updated docs"
	git push origin master:gh-pages --force

Provide feedback