summaryrefslogtreecommitdiff
path: root/tools/ci/push_docs_to_repo.py
Commit message (Expand)AuthorAgeFilesLines
* DOC: fail the CI build and do not deploy if docs are not created (#23065)Matti Picus2023-01-221-0/+7
* MAINT: Fix typos found by codespellDimitri Papadopoulos2022-10-071-1/+1
* CI: Do not pass original branch name to `git branch -m main`Sebastian Berg2021-03-071-1/+3
* CI: Use `git branch -m` instead of `--initial-branch=main`Sebastian Berg2021-03-071-1/+2
* CI: Ensure that doc-build uses "main" as branch nameSebastian Berg2021-03-071-1/+1
* MAINT: Update master to main after branch rename (gh-18544)Stefan van der Walt2021-03-041-1/+1
* convert shebang from python to python3 (#15687)Changqing Li2020-03-041-1/+1
* TST, DOC: Upload devdocs and neps after circleci build (#10702)Stefan van der Walt2018-03-161-0/+65