Feedback-9-27-meeting #108
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 | |
| 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: build deploy targets | |
| 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 | |
| - name: Build PDF with PreTeXt | |
| run: pretext build print | |
| - name: Bundle output/print as PDF artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: pdf | |
| path: output/print | |
| 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 | |
| update-pdf: | |
| runs-on: ubuntu-latest | |
| needs: build | |
| if: github.ref == format('refs/heads/{0}', github.event.repository.default_branch) | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Checkout source | |
| uses: actions/checkout@v4 | |
| - name: Fetch and switch to main branch | |
| run: | | |
| git fetch origin | |
| git checkout main | |
| git reset --hard origin/main | |
| - name: Download PDF artifact | |
| uses: actions/download-artifact@v4 | |
| with: | |
| name: pdf | |
| path: output/print | |
| - name: Create or update pdf-update branch from main | |
| run: git checkout -B pdf-update | |
| - name: Set up Git user | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "github-actions[bot]@users.noreply.github.com" | |
| - name: Commit changes | |
| run: | | |
| git add output/print/main.pdf | |
| git commit -m "Update PDF" || echo "No changes to commit" | |
| - name: Force push to pdf-update branch | |
| run: git push origin pdf-update --force |