Avoid concurrent javadoc building.

This commit is contained in:
Michael Lipp 2023-06-05 13:21:37 +02:00
parent 127f3f6f43
commit 02011aa029

View file

@ -9,6 +9,10 @@ on:
permissions:
contents: read
concurrency:
group: doc_generation
cancel-in-progress: false
jobs:
build: