From b63f2ab4cdae6ec3dc5a9bbd48abb82607d4155d Mon Sep 17 00:00:00 2001
From: Arnaud Roques <plantuml@gmail.com>
Date: Wed, 15 Nov 2023 18:18:55 +0100
Subject: [PATCH] chore: filter javadoc generation

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c46cf60d5..23d6d9110 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -182,6 +182,7 @@ jobs:
 
   deploy_javadoc:
     needs: [ build_artifacts, test_linux ]
+    if: needs.workflow_config.outputs.do_release == 'true'
     runs-on: ubuntu-latest
     steps:
       - name: Checkout the repository