Make build_doc run only for the first job and redirect stdout and stderr to void when git push fails.

@asmeurer
I think you need to remove the spaces around `=`