deploy GH pages #173

	name: Build + Tests + Docu

	on:
	workflow_dispatch:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]

	jobs:
	build:
	runs-on: ubuntu-latest

	defaults:
	run:
	working-directory: .

	steps:
	- uses: actions/checkout@v2

	- name: Setup .NET 6
	uses: actions/setup-dotnet@v1
	with:
	dotnet-version: 6.x

	- name: Setup .NET 7
	uses: actions/setup-dotnet@v1
	with:
	dotnet-version: 7.x

	- name: Build and run tests
	run: dotnet fsi build.fsx test

	- name: Build docu
	shell: pwsh
	run: ./docu.ps1

	- name: Upload docs artifact to GH pages
	uses: actions/upload-pages-artifact@v1
	with:
	path: ./docs

	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	runs-on: ubuntu-latest

	needs: build

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

	- uses: actions/checkout@v3
	with:
	fetch-depth: 0

Provide feedback