My ulterior motive was then to read something like [xxx] from the PR and only do that one :-)
Or maybe CI could ask git which directories (== which plugins) are modified and build those.
Or maybe an AI bot could work it out, I here Sweet Geany is unemployed ;-P