Redirect stdout and stderr to void when git push fails [skip ci]
Make build_doc run only for the first job
Compare only with the integral part after the period
Merge pull request #7787 from debugger22/build_doc

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