Repository navigation
ci: publish the site to GitHub Pages from main - #220
Conversation
|
The publish job looks right. One change I'd make before merging, because this PR turns an existing gap into a path to the production site. Checked
Requested: pin the build's Python dependencies
Suggested fix: a Optional: the workflow-level |
The build now feeds the live site, so it installs an exact, hashed set instead of whatever PyPI serves. Runs on main also queue instead of cancelling, so a started Pages deploy finishes.
Summary
mainpublishes the built site to GitHub Pages again, so a merged change reaches docs.malbeclabs.com without a manual step.pages: write,id-token: write), uses no repository secrets, and runs only onmain. Thegithub-pagesenvironment also accepts deploys frommainonly.requirements.txt(mkdocs 1.6.1, mkdocs-material 9.8.0, mkdocs-static-i18n 1.3.1 and their dependencies), because what it builds is now what Pages publishes.requirements.inholds the three top-level pins, and the workflow comment gives the command that regenerates the file.mainqueue instead of cancelling each other, so a started Pages deploy finishes. PR runs still cancel older runs on the same branch.Testing
pip install --require-hasheson Python 3.12. The build gives only the known i18n warning, and its output matches the build deployed to docs.doublezero.xyz today, file for file apart fromsitemap.xml.actionlintpasses on the workflow. Theactions-lintcheck runszizmoron this PR.deploy-pagesjob, and docs.malbeclabs.com should servemain, without the Binance page.