Merge pull request #26 from jontze/chore/add-examples #27

	---
	name: Main
	on:
	push:
	branches:
	- main

	jobs:
	test:
	name: Test
	uses: ./.github/workflows/test.yml

	coverage:
	name: Coverage Report
	needs:
	- test
	uses: ./.github/workflows/coverage.yml
	secrets: inherit

	upload_docs_ghp:
	name: Upload Docs to GitHub Pages
	needs: [test, coverage]
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Build docs
	run: cargo doc --no-deps
	- name: Remove possible old documentation
	run: rm -rf ./docs
	- name: Create index html handling subdirectory
	run: echo "<meta http-equiv=\"refresh\" content=\"0; url=tankerkoenig\">" > target/doc/index.html
	- name: Move doc files from target to pages directory
	run: cp -r target/doc ./docs
	- name: Deploy 🚀
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	branch: gh-pages
	folder: docs

Provide feedback