From 8fe21b8ef9cccbd821762d9289edce42427d0e0e Mon Sep 17 00:00:00 2001 From: Brian Clozel Date: Thu, 25 May 2023 20:12:04 +0200 Subject: [PATCH] Build Antora docs as part of CI check job This commit adds the "antora" task to the check-project script in order to check for documentation failures when pushing to the current branch. The actual documentation is build is performed on the docs-build branch. Closes gh-30528 --- ci/scripts/check-project.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/scripts/check-project.sh b/ci/scripts/check-project.sh index 6e57231f48..4eb582e368 100755 --- a/ci/scripts/check-project.sh +++ b/ci/scripts/check-project.sh @@ -5,5 +5,5 @@ source $(dirname $0)/common.sh pushd git-repo > /dev/null ./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17,JDK20 \ - -PmainToolchain=${MAIN_TOOLCHAIN} -PtestToolchain=${TEST_TOOLCHAIN} --no-daemon --max-workers=4 check + -PmainToolchain=${MAIN_TOOLCHAIN} -PtestToolchain=${TEST_TOOLCHAIN} --no-daemon --max-workers=4 check antora popd > /dev/null