Closed bcylin closed 6 years ago
Add a script to CI after_success that pushes the generated docs to the gh-pages branch when the commit message starts with Merge pull request.
after_success
gh-pages
@tflhyl, can you review this pull request?
Add a script to CI
after_success
that pushes the generated docs to thegh-pages
branch when the commit message starts with Merge pull request.