From d7df09fbe0e8b886f859faa3317dea16127f30f8 Mon Sep 17 00:00:00 2001
From: Matthew Buckett <matthew.buckett@ctl.ox.ac.uk>
Date: Thu, 14 Jan 2021 11:30:36 +0000
Subject: [PATCH] Add JavaDoc maven target to the CI checks.

---
 .github/workflows/maven.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index d28832f0..b7daa0ff 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -29,3 +29,6 @@ jobs:
         java-version: 1.8
     - name: Build with Maven
       run: mvn -B package --file pom.xml
+    # This is part of the release task so we don't want to allow failures.
+    - name: Build JavaDoc with Maven
+      run: mvn -B javadoc:javadoc --file pom.xml