more edits #43
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: PreTeXt-CLI Actions (TBIL Customization) | |
| on: | |
| # Runs on pull requests | |
| pull_request: | |
| branches: ["*"] | |
| # Runs on pushes to main | |
| push: | |
| branches: ["main"] | |
| # Runs on demand | |
| workflow_dispatch: | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: oscarlevin/pretext:full | |
| steps: | |
| - name: Checkout source | |
| uses: actions/checkout@v4 | |
| - name: install deps | |
| run: pip install -r requirements.txt | |
| - name: quick build instructor versions | |
| if: github.ref != format('refs/heads/{0}', github.event.repository.default_branch) | |
| run: | | |
| pretext build precal-web-instructor -q | |
| pretext build calc-web-instructor -q | |
| pretext build la-web-instructor -q | |
| - name: build deploy targets | |
| if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) || github.event_name == 'workflow_dispatch' | |
| run: pretext build --deploys | |
| - name: stage deployment | |
| run: pretext deploy --stage-only | |
| - name: Bundle output/stage as artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: deploy | |
| path: output/stage | |
| deploy-cloudflare: | |
| runs-on: ubuntu-latest | |
| needs: build | |
| if: vars.CLOUDFLARE_PROJECT_NAME != '' | |
| permissions: | |
| contents: read | |
| deployments: write | |
| pull-requests: write | |
| steps: | |
| - name: Download artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: deploy | |
| path: deploy | |
| - name: Create 404.html | |
| run: echo "404 page not found" >> deploy/404.html | |
| - name: Publish to Cloudflare | |
| uses: cloudflare/pages-action@v1 | |
| with: | |
| apiToken: ${{ secrets.CLOUDFLARE_API_TOKEN }} | |
| accountId: ${{ secrets.CLOUDFLARE_ACCOUNT_ID }} | |
| projectName: ${{ vars.CLOUDFLARE_PROJECT_NAME }} | |
| gitHubToken: ${{ secrets.GITHUB_TOKEN }} | |
| branch: ${{ github.head_ref || github.ref_name }} | |
| directory: deploy | |
| - name: Report preview link | |
| uses: actions/github-script@v6 | |
| if: github.event_name == 'pull_request' | |
| with: | |
| script: | | |
| branch = `${{ github.head_ref || github.ref_name }}`.replace('/'', '-') | |
| github.rest.issues.createComment({ | |
| issue_number: context.issue.number, | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| body: `🚀 Preview available at https://${branch}.tbil.pages.dev 🚀` | |
| }) | |
| deploy-ghpages: | |
| runs-on: ubuntu-latest | |
| needs: build | |
| if: vars.PTX_ENABLE_DEPLOY_GHPAGES == 'yes' && github.ref == format('refs/heads/{0}', github.event.repository.default_branch) | |
| 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: deploy | |
| path: deploy | |
| - name: Setup GitHub Pages | |
| id: check | |
| uses: actions/configure-pages@v4 | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: deploy | |
| - name: Deploy to Github Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |