Add GitHub Pages deployment with interactive Stan Playground support #234
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR introduces automatic deployment of these examples to GitHub Pages with interactive Stan Playground embeds. It adds a CI/CD pipeline, Jekyll configuration, and helper scripts to generate index.md files for browsing models interactively.
For a preview, I have deployed this on my fork here:
https://magland.github.io/example-models/
You can navigate the folders, and when there is a directory with .stan file(s), you will see those embedded in Stan Playground where you can edit/run the models. The system also looks for .data.json files adjacent to the .stan files and loads those into the SP window.
Changes:
IMPORTANT: If this PR were to be accepted, we would need to modify a couple hardcoded strings. For example
https://magland.github.iowould need to becomehttps://stan-dev.github.ioandPAGES_REPO_NWO: magland/example-modelswould need to becomePAGES_REPO_NWO: stan-dev/example-modelsIn order for this to work, the pages configuration for this repo would need to be turned on and set to GitHub Actions in Settings.
Worked on this with @WardBrian