The current setup for Antora builds in regular intervals.
However, this is both too often and too infrequent.
Builds are only required when changes are pushed.
Solution
Add repository_dispatch event and required token to all content repositories and the generator repo.
Optional: Create adaptive builds for PRs where the content in Antora is changed to that PR but do not publish these pages.
Background
This issue targets the build pipeline.
Current situation
The current setup for Antora builds in regular intervals. However, this is both too often and too infrequent. Builds are only required when changes are pushed.
Solution
Add repository_dispatch event and required token to all content repositories and the generator repo. Optional: Create adaptive builds for PRs where the content in Antora is changed to that PR but do not publish these pages.