@@ -172,40 +172,16 @@ jobs:
172172 name : graphite-web-bundle
173173 path : frontend/dist
174174
175- - name : 📃 Generate code documentation info for website
175+ - name : 📃 Trigger website rebuild if auto-generated code docs are stale
176176 if : github.event_name == 'push'
177- run : |
178- cargo run -p crate-hierarchy-viz -- website/generated-new
179- cargo run -p editor-message-tree -- website/generated-new
180-
181- - name : 💿 Obtain cache of auto-generated code docs artifacts, to check if they've changed
182- if : github.event_name == 'push'
183- id : cache-website-code-docs
184- uses : actions/cache/restore@v5
185- with :
186- path : website/generated
187- key : website-code-docs
188-
189- - name : 🔍 Check if auto-generated code docs artifacts changed
190- if : github.event_name == 'push'
191- id : website-code-docs-changed
192- run : |
193- diff --brief --recursive website/generated-new website/generated || echo "changed=true" >> $GITHUB_OUTPUT
194- rm -rf website/generated
195- mv website/generated-new website/generated
196-
197- - name : 💾 Save cache of auto-generated code docs artifacts
198- if : github.event_name == 'push' && steps.website-code-docs-changed.outputs.changed == 'true'
199- uses : actions/cache/save@v5
200- with :
201- path : website/generated
202- key : ${{ steps.cache-website-code-docs.outputs.cache-primary-key }}
203-
204- - name : ♻️ Trigger website rebuild if the auto-generated code docs artifacts have changed
205- if : github.event_name == 'push' && steps.website-code-docs-changed.outputs.changed == 'true'
206177 env :
207178 GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
208- run : gh workflow run website.yml --ref master
179+ run : |
180+ cargo run -p editor-message-tree -- website/generated
181+ TREE=volunteer/guide/codebase-overview/hierarchical-message-system-tree
182+ curl -sf "https://graphite.art/$TREE.txt" -o "website/static/$TREE.live.txt" \
183+ && diff -q "website/static/$TREE.txt" "website/static/$TREE.live.txt" > /dev/null \
184+ || gh workflow run website.yml --ref master
209185
210186 windows :
211187 if : github.event_name == 'push' || inputs.windows
0 commit comments