Add entries prefix tree (#955) #456

	name: Publish docs

	on:
	push:
	branches: [main]

	jobs:
	build:
	runs-on: ubuntu-latest
	name: Publish documentation website
	steps:
	- uses: actions/checkout@v3

	- name: Set up Ruby
	uses: ruby/setup-ruby@v1
	with:
	ruby-version: 3.2
	bundler-cache: true

	- name: Configure git
	run: \|
	git config user.name github-actions
	git config user.email github-actions@github.com

	- name: Generate documentation
	run: bundle exec rake rdoc

	- name: Commit to gh-pages
	run: \|
	git add docs
	git commit -m "Publish website $(git log --format=format:%h -1)"
	git push --force origin main:gh-pages

Provide feedback