File tree 1 file changed +6
-6
lines changed
1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -39,12 +39,12 @@ jobs:
39
39
run : |
40
40
sudo apt update
41
41
sudo apt install python3-pip python3-setuptools
42
- # PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
43
- # PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
44
- PATH=/home/runner/.local/bin:$PATH export GIT_VER=$(git describe --always)
42
+ source ./docs/utils.sh
43
+ add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
44
+ export GIT_VER=$(git describe --always)
45
45
echo "PIP install requirements..."
46
- PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
46
+ pip3 install --user -r ./docs/requirements.txt
47
47
echo "Building the Docs..."
48
- cd ./docs && PATH=/home/runner/.local/bin:$PATH build-docs -l en
48
+ cd ./docs && build-docs -l en
49
49
echo "Deploy the Docs..."
50
- # PATH=/home/runner/.local/bin:$PATH deploy-docs
50
+ deploy-docs
You can’t perform that action at this time.
0 commit comments