Hey!
I use Jenkins as my build server. Herald is already triggering it when I create or update a diff.
Now I want to postpone linters so that not all of them run locally. Instead the majority should run on my build server and attach the results to the diff afterwards. Could you please update the documentation with that topic?
Thanks,
Marc