Actions
action #57548
closedaction #57050: Turn off travis
Move building and publishing of docs to CircleCI
Status:
Resolved
Priority:
High
Assignee:
Category:
Organisational
Target version:
Start date:
2019-09-30
Due date:
% Done:
100%
Estimated time:
Description
The 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.
Actions