Exclude the documentation module from test build, so we can test with…

… JDK8
impossibl · Dec 8, 2023 · 87d0777 · 87d0777
1 parent 8fc117f
commit 87d0777
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -44,7 +44,7 @@ jobs:
           job-id: jdk${{ matrix.jdk }}-build-test
           properties: |
             postgresVersions=${{ matrix.pg }}
-          arguments: test -x checkstyleMain -x checkstyleTest
+          arguments: test -x checkstyleMain -x checkstyleTest -PskipDocs=true
 
   deploy:
     needs: [check, build]

diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -9,4 +9,6 @@ include(":pgjdbc-ng")
 project(":pgjdbc-ng").projectDir = file("driver")
 
 include(":udt-gen")
-include(":documentation")
+if (!startParameter.projectProperties["skipDocs"].toBoolean()) {
+    include(":documentation")
+}