From 02011aa0292a623003eccf4db733ccb22c4bf4e5 Mon Sep 17 00:00:00 2001
From: "Michael N. Lipp" <mnl@mnl.de>
Date: Mon, 5 Jun 2023 13:21:37 +0200
Subject: [PATCH] Avoid concurrent javadoc building.

---
 .github/workflows/gradle.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
index 618221f..89feebf 100644
--- a/.github/workflows/gradle.yml
+++ b/.github/workflows/gradle.yml
@@ -9,6 +9,10 @@ on:
 permissions:
   contents: read
 
+concurrency:
+  group: doc_generation
+  cancel-in-progress: false
+
 jobs:
   build: