1414 - completed
1515 branches :
1616 - " main"
17+ workflow_dispatch :
18+ pull_request :
19+ branches :
20+ - " main"
1721
1822permissions : write-all
1923
4448 submodules : true
4549 fetch-depth : 1
4650
51+ - name : Free up disk space
52+ run : |
53+ docker system prune -af --volumes || true
54+ sudo apt-get clean || true
55+ sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
56+ rm -rf /gha-runner/usr/local/lib/android
57+ rm -rf /gha-runner/usr/local/share/boost
58+
4759 - name : Configure build
4860 run : cmake --preset ci
4961
@@ -88,16 +100,20 @@ jobs:
88100 LLVM_EXTERNAL_LIT : " /usr/local/bin/lit"
89101
90102 steps :
91- - name : Clean Docker to prevent space issues
92- run : |
93- docker system prune -af --volumes || true
94-
95103 - name : Clone the Patchestry repository
96104 uses : actions/checkout@v4
97105 with :
98106 submodules : true
99107 fetch-depth : 1
100108
109+ - name : Free up disk space
110+ run : |
111+ docker system prune -af --volumes || true
112+ sudo apt-get clean || true
113+ sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
114+ rm -rf /gha-runner/usr/local/lib/android
115+ rm -rf /gha-runner/usr/local/share/boost
116+
101117 - name : Configure build
102118 run : cmake --preset ci -DLLVM_Z3_INSTALL_DIR=/usr/local
103119
@@ -108,7 +124,45 @@ jobs:
108124 run : |
109125 sh ./www/setup.sh _site ./builds/ci/
110126
111- - name : Deploy docs
127+ - name : Setup Python
128+ uses : actions/setup-python@v5
129+ with :
130+ python-version : ' 3.x'
131+
132+ - name : Install MkDocs and plugins
133+ run : |
134+ pip install mkdocs mkdocs-material
135+
136+ - name : Build docs
137+ run : mkdocs build --config-file _site/mkdocs.yml --site-dir _site/site
138+
139+ - name : Upload site bundle
140+ uses : actions/upload-artifact@v4
141+ with :
142+ name : mkdocs-bundle
143+ path : _site
144+ if-no-files-found : error
145+
146+ deploy_doc :
147+ needs : build_doc
148+ runs-on : ubuntu-latest
149+ permissions :
150+ contents : write
151+
152+ steps :
153+ - name : Checkout (for repo context)
154+ uses : actions/checkout@v4
155+ with :
156+ fetch-depth : 1
157+
158+ - name : Download site bundle
159+ uses : actions/download-artifact@v4
160+ with :
161+ name : mkdocs-bundle
162+ path : _site
163+
164+ # Deploy with the Docker-based action in a non-containerized job
165+ - name : Deploy MkDocs to gh-pages
112166 uses : mhausenblas/mkdocs-deploy-gh-pages@master
113167 env :
114168 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
0 commit comments