File GitHub support issue for more parallel workers #72
Description
Would be really useful to get more parallelism for the day since a lot of PRs are getting checked slowly.
{{ message }}
Would be really useful to get more parallelism for the day since a lot of PRs are getting checked slowly.