-
Notifications
You must be signed in to change notification settings - Fork 1
Add mkdocs documentation build to playground deployment workflow #39
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
@@ -35,6 +35,17 @@ jobs: | |||||||||||||
| - name: Build UMD bundle | ||||||||||||||
| run: npm run build:umd | ||||||||||||||
|
|
||||||||||||||
| - name: Setup Python | ||||||||||||||
| uses: actions/setup-python@v5 | ||||||||||||||
| with: | ||||||||||||||
| python-version: '3.x' | ||||||||||||||
|
|
||||||||||||||
| - name: Install mkdocs | ||||||||||||||
| run: pip install mkdocs-material==9.7.1 | ||||||||||||||
|
|
||||||||||||||
|
||||||||||||||
| - name: Update mkdocs site_url for /docs/ deployment | |
| run: sed -i 's|^site_url:.*|site_url: https://pro-fa.github.io/expr-eval/docs/|' mkdocs.yml |
Copilot
AI
Jan 23, 2026
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The 'site' directory is being copied without first verifying that the mkdocs build step successfully created it. If 'mkdocs build' fails or doesn't produce output, the copy command will fail with a potentially unclear error message. Consider adding a verification step or using a more defensive copy command like 'cp -r site _site/docs || echo "Warning: mkdocs site directory not found"' to make troubleshooting easier. Alternatively, ensure the mkdocs build command will fail the workflow if it encounters an error.
| cp -r site _site/docs | |
| if [ -d site ]; then | |
| cp -r site _site/docs | |
| else | |
| echo "Warning: mkdocs 'site' directory not found; skipping docs copy" | |
| fi |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Consider adding pip caching to improve build performance, similar to how npm is cached for Node.js. The setup-python action supports caching pip dependencies by adding a 'cache' parameter. This would speed up subsequent workflow runs by avoiding re-downloading mkdocs-material and its dependencies each time.