docs: add demo GIFs to README #8

	name: Cleanup Coverage Pages

	on:
	pull_request:
	types: [closed]

	permissions:
	contents: write

	jobs:
	cleanup:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: gh-pages
	fetch-depth: 0
	- name: Remove PR coverage directory
	run: \|
	PR_DIR="pr/${{ github.event.pull_request.number }}"
	if [ -d "$PR_DIR" ]; then
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git rm -rf "$PR_DIR"
	git commit -m "Clean up coverage report for PR #${{ github.event.pull_request.number }}"
	git push origin gh-pages
	fi

Navigation Menu