Add doctests workflow

.github/workflows/doctests.yml

@@ -0,0 +1,33 @@
+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