File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -26,19 +26,25 @@ jobs:
2626 run : |
2727 pip install -r requirements-ci.txt
2828
29- - name : Build docs with driverci
29+ - name : Build docs
3030 run : |
3131 chmod +x driver-ci
3232 ./driver-ci
3333
34+ - name : Upload GitHub Pages artifact
35+ uses : actions/upload-pages-artifact@v3
36+ with :
37+ path : docs/build/html
38+
3439 deploy :
3540 needs : build
3641 runs-on : ubuntu-latest
3742 environment :
3843 name : github-pages
39- url : ${{ steps.deployment .outputs.page_url }}
44+ url : ${{ steps.deploy .outputs.page_url }}
4045
4146 steps :
4247 - name : Deploy to GitHub Pages
43- id : deployment
44- uses : actions/deploy-pages@v2
48+ id : deploy
49+ uses : actions/deploy-pages@v4
50+
Original file line number Diff line number Diff line change @@ -67,3 +67,8 @@ INDEX_DST="$DOCS_SOURCE_DIR/index.md"
6767cd " $ROOT_DIR /docs"
6868make clean
6969make html
70+
71+ # === Copy media into final HTML output ===
72+ cd " $BUILD_DIR /html"
73+ mkdir -p media
74+ cp -r " $STATIC_MEDIA_DIR " /* media/
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments