Build and deploy to GitHub Pages

Merge pull request #69 from stefanjenkner/dependabot/pip/rich-13.9.4 #135

Sign in to view logs

Summary
Jobs
- github-pages
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
github-pages	29s
	29s