Upload documentation to GitHub only if generation succeeded