Trigger the doc build corresponding to the current branch.
@@ -115,7 +115,7 @@ jobs:
curl \
-u ${DOCS_TOKEN}: \
-d 'build_parameters[CIRCLE_JOB]=build' \
- https://circleci.com/api/v1.1/project/github/GPflow/docs/tree/develop
+ https://circleci.com/api/v1.1/project/github/GPflow/docs/tree/<< pipeline.git.branch >>
deploy:
docker:
