action #57050: Turn off travis
Move building and publishing of docs to CircleCI
|Target version:||Current Sprint|
scripts/generate-documentation job should be moved to CircleCI. It has to do two things, build the docs, and push the commit after merging a PR.
We'll need a CircleCI version of
$TRAVIS_PULL_REQUEST or set something when running the script.