diff --git a/.github/workflows/doctests.yml b/.github/workflows/doctests.yml new file mode 100644 index 000000000..0ea5c41f7 --- /dev/null +++ b/.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 \ No newline at end of file