Do explicit checkout
This commit is contained in:
parent
977575db67
commit
4847720d7c
2 changed files with 2 additions and 1 deletions
|
|
@ -38,6 +38,8 @@ jobs:
|
||||||
|
|
||||||
- name: Install doc-building dependencies
|
- name: Install doc-building dependencies
|
||||||
run: |
|
run: |
|
||||||
|
git branch
|
||||||
|
git checkout develop
|
||||||
python -m pip install --upgrade pip
|
python -m pip install --upgrade pip
|
||||||
cd docs/
|
cd docs/
|
||||||
make install
|
make install
|
||||||
|
|
|
||||||
|
|
@ -3,7 +3,6 @@
|
||||||
SOURCEDIR = source
|
SOURCEDIR = source
|
||||||
BUILDDIR = build
|
BUILDDIR = build
|
||||||
AUTODOCDIR = $(SOURCEDIR)/api
|
AUTODOCDIR = $(SOURCEDIR)/api
|
||||||
#
|
|
||||||
# You can set these variables from the command line, and also
|
# You can set these variables from the command line, and also
|
||||||
# from the environment for the first two.
|
# from the environment for the first two.
|
||||||
SPHINXOPTS ?=
|
SPHINXOPTS ?=
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue