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.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.