File tree 1 file changed +4
-0
lines changed
1 file changed +4
-0
lines changed Original file line number Diff line number Diff line change 59
59
DOCS_DEPLOY_PATH : ${{ secrets.DOCS_PATH }}
60
60
DOCS_DEPLOY_URL_BASE : ${{ secrets.DOCS_URL }}
61
61
run : |
62
+ sudo apt update
63
+ sudo apt install python3-pip python3-setuptools
62
64
PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
63
65
PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
64
66
PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
88
90
DOCS_DEPLOY_PATH : ${{ secrets.DOCS_PREV_PATH }}
89
91
DOCS_DEPLOY_URL_BASE : ${{ secrets.DOCS_PREV_URL }}
90
92
run : |
93
+ sudo apt update
94
+ sudo apt install python3-pip python3-setuptools
91
95
PATH=/home/runner/.local/bin:$PATH pip3 install --user -r ./docs/requirements.txt
92
96
PATH=/home/runner/.local/bin:$PATH source ./docs/utils.sh
93
97
PATH=/home/runner/.local/bin:$PATH add_doc_server_ssh_keys $DOCS_DEPLOY_PRIVATEKEY $DOCS_DEPLOY_SERVER $DOCS_DEPLOY_SERVER_USER
You can’t perform that action at this time.
0 commit comments