@@ -244,22 +244,20 @@ jobs:
244244 git clone https://panda-jenkins-ci:${{ secrets.PANDABOT_GITHUB_API }}@github.com/panda-re/panda-re.github.io.git --branch=master ${GITHUB_WORKSPACE}/auto_pydoc/pandare
245245
246246 - name : Update PYPANDA docs in container
247- run : docker run --rm -v ${GITHUB_WORKSPACE}/auto_pydoc:/out pandare/pandadev:latest /bin/sh -c "pip3 install pdoc3; cd /panda/panda/python/core; pdoc3 --html --template-dir=../docs/template --force -o /out/${GITHUB_REF##*/} pandare; chmod -R 777 /out/"
248- # will put docs in workspace/auto_pydoc/dev/pandare and/or workspace/auto_pydoc/<branch>/pandare
249- # we want to copy auto_pydoc/dev/pandare to auto_pydoc/pandare/ and /auto_pydoc/<branch>/pandare to /auto_pydoc/pandare/<branc>
250- #
251- # This is a bit complicated, sorry. We want to keep pandare/{CNAME,.git/} and nothing else
252- # then we copy in the new files (and merge doc-search.html and index.js with <branch>/pandare/
247+ run : |
248+ docker run --rm \
249+ -e PROTOCOL_BUFFERS_PYTHON_IMPLEMENTATION=python \
250+ -v ${GITHUB_WORKSPACE}/auto_pydoc:/out \
251+ pandare/pandadev:latest /bin/sh -c "\
252+ pip3 install pdoc3==0.10.0; \
253+ cd /panda/panda/python/core; \
254+ pdoc3 --html --template-dir=../docs/template --force -o /out/ pandare;"
255+
253256 - name : Push PYPANDA docs to GitHub Pages if docs changed
254- run : cd "${GITHUB_WORKSPACE}/auto_pydoc" &&
255- mv pandare/CNAME ${{ github.ref_name }} &&
256- rm -rf pandare/* &&
257- mv ${{ github.ref_name }}/pandare/* pandare &&
258- rmdir ${{ github.ref_name }}/pandare &&
259- mv ${{ github.ref_name }}/* pandare/ &&
260- cd pandare &&
261- git config --global user.email "panda-ci@panda-re.mit.edu" &&
262- git config --global user.name "PANDA Bot" &&
263- git add . &&
264- git commit -m "Documentation update for PANDA commit ${{ github.sha }} branch ${{ github.ref_name }}" &&
265- git push || true
257+ working-directory : ${GITHUB_WORKSPACE}/auto_pydoc/pandare
258+ run : |
259+ git config --global user.email "panda-ci@panda-re.mit.edu"
260+ git config --global user.name "PANDA Bot"
261+ git add .
262+ git commit -m "Documentation update for PANDA commit ${{ github.sha }} branch ${{ github.ref_name }}"
263+ git push || true
0 commit comments