Closed alexdewar closed 1 month ago
This PR adds a workflow for deploying via GitHub Actions rather than directly from the gh-pages branch, which will give us more flexibility. See here for more info: https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-site
gh-pages
To check that it worked correctly, I ran the action directly from this branch, which seemed to work fine.
Closes #68.
Yeah we do, but I can do that before we merge this.
This PR adds a workflow for deploying via GitHub Actions rather than directly from the
gh-pages
branch, which will give us more flexibility. See here for more info: https://docs.github.com/en/pages/getting-started-with-github-pages/configuring-a-publishing-source-for-your-github-pages-siteTo check that it worked correctly, I ran the action directly from this branch, which seemed to work fine.
Closes #68.