Add doctests workflow #1

	name: Documentation Tests

	on:
	push:
	tags-ignore:
	- '*'
	branches:
	- 'doctests'
	pull_request:
	workflow_dispatch:

	jobs:
	doctests:
	runs-on: ubuntu-latest
	services:
	redis-stack:
	image: redis/redis-stack-server:latest
	options: >-
	--health-cmd "redis-cli ping" --health-interval 10s --health-timeout 5s --health-retries 5
	ports:
	- 6379:6379

	steps:
	- name: Checkout project
	uses: actions/checkout@v4
	- name: Set up Java
	uses: actions/setup-java@v2
	with:
	java-version: '11'
	distribution: 'temurin'
	- name: Run doctests
	run: \|
	mvn -Pdoctests test

Provide feedback