Finally got a CI going on yet another PR: https://github.com/pantsbuild/pants/pull/10365 (needs a rubber stamp, thanks)