File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -141,7 +141,7 @@ jobs:
141
141
- name : " Build manual"
142
142
run : |
143
143
cd docs
144
- make
144
+ make html
145
145
146
146
- name : " Publish user manual to branch readthedocs"
147
147
uses : JamesIves/github-pages-deploy-action@v4
Original file line number Diff line number Diff line change 15
15
from subprocess import Popen , PIPE
16
16
17
17
def get_version ():
18
- if os .environ .get ('READTHEDOCS' ) == True :
18
+ if os .environ .get ('READTHEDOCS' ) == ' True' :
19
19
return os .environ .get ('READTHEDOCS_VERSION' )
20
20
21
- if os .environ .get ('GITHUB_ACTIONS' ) == True :
21
+ if os .environ .get ('GITHUB_ACTIONS' ) == ' True' :
22
22
return os .environ .get ('GITHUB_REF_NAME' )
23
23
24
24
grep = 'git branch | findstr \*' if platform .system () == 'Windows' else 'git branch | grep \*'
You can’t perform that action at this time.
0 commit comments