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 hear Sweet Geany is unemployed ;-P
:)
As said, I would leave it for now and get the current full build in first to finally move away from Travis.
Maybe we could move your suggestion to a seperate issue, maybe someone else wants to work on it.