This repository has been archived by the owner on Jul 30, 2024. It is now read-only.
use pretext stage to build site (#116) #12
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and Deploy to Github Pages | |
| on: | |
| # Runs both on pull requests and when a pull request is merged. | |
| push: | |
| branches: ["main"] | |
| pull_request: | |
| branches: ["*"] | |
| jobs: | |
| # This job builds the book. You can download the resulting build "artifact" by | |
| # navigating to your actions manager in Github, selecting this run, and clicking | |
| # "download artifact" on the "website" artifact. | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout source | |
| uses: actions/checkout@v4 | |
| - name: Build web with PreTeXt | |
| uses: siefkenj/pretext-build-action@main | |
| with: | |
| pretext-command: build web | |
| project-root: "." | |
| output-dir: "." | |
| - name: Build print with PreTeXt | |
| uses: siefkenj/pretext-build-action@main | |
| with: | |
| pretext-command: build print | |
| project-root: "." | |
| output-dir: "." | |
| - name: Build slides with PreTeXt | |
| uses: siefkenj/pretext-build-action@main | |
| with: | |
| pretext-command: build slides | |
| project-root: "." | |
| output-dir: "." | |
| - name: Stage with PreTeXt | |
| uses: siefkenj/pretext-build-action@main | |
| with: | |
| pretext-command: deploy --stage-only | |
| project-root: "." | |
| output-dir: "." | |
| - name: Bundle output/stage as artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: website | |
| path: output/stage | |
| # This job deploys the artifact built in the previous job to Github pages. | |
| deploy: | |
| runs-on: ubuntu-latest | |
| # only deploy to github pages if we have merged into main or master | |
| if: github.event_name == 'push' && github.ref == 'refs/heads/main' | |
| needs: build | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| concurrency: | |
| group: "page" | |
| cancel-in-progress: false | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| steps: | |
| - name: Download website artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: website | |
| path: website | |
| - name: Setup Pages | |
| uses: actions/configure-pages@v4 | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: "./website" | |
| - name: Deploy to Github Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |