update to latest Generated `/home/runner/work/pretext-cli/pretext-cli… #13
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
| # <!-- Managed automatically by PreTeXt authoring tools --> | |
| # (delete the above line to manage this file manually) | |
| name: PreTeXt-CLI Actions | |
| 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: install local ptx files | |
| run: pretext --version | |
| - name: build deploy targets | |
| run: | | |
| version="$(pretext --version)" | |
| major="$(echo $version | cut -d '.' -f 1)" | |
| minor="$(echo $version | cut -d '.' -f 2)" | |
| if [ "$major" -ge 2 -a "$minor" -ge 5 ]; then | |
| echo "PreTeXt version is 2.5 or greater; using new build command" | |
| pretext build --deploys | |
| else | |
| echo "PreTeXt version is less than 2.5, using old build command" | |
| pretext build | |
| fi | |
| - 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 | |
| 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 | |
| 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 |